Substitutiv indizierte Algebren

Die substitutiv indizierten Algebren sind von Rieger definierte Weiterführungen der Booleschen Algebra, die auch für die Prädikatenlogik eine algebraische Behandlung ermöglichen.

Dasselbe Ziel streben die von Halmos definierten polyadischen Algebren und die von Tarski definierten Zylinderalgebren an.