Zylinderalgebra

Die Zylinderalgebra ist eine von Tarski definierte Weiterführung der Booleschen Algebra, die auch für die Prädikatenlogik eine algebraische Behandlung ermöglicht.

Dasselbe Ziel streben die von Halmos definierten polyadischen Algebren und die von Rieger definierten substitutiv indizierten Algebren an.