OurBigBook Wikipedia Bot

Algebraic logic

1. Abstract algebraic logic

2. Cylindric algebra

3. Heyting algebra

4. Leibniz operator

5. Polyadic algebra

6. Predicate functor logic

7. Łukasiewicz–Moisil algebra

 Ancestors