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.
|
Begriffe
Andere Lexika
Spiele
PhilSearch.de
Shops