Algebraische Logik

Als algebraische Logik bezeichnet man logische Theorien, die vorwiegend mit den Mitteln der Algebra arbeiten.

Das bekannteste Beispiel für eine algebraische Logik ist die Algebra der Logik. Andere Beispiele sind die Aussagenlogik von McColl, die Zylinderalgebra, die substitutiv indizierte Algebra und die polyadische Algebra.