Polyadische Algebren

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

Dasselbe Ziel streben die von Tarski definierte Zylinderalgebra Algebren und die von Rieger definierten substitutiv indizierten Algebren an.