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