Logics

This page is intended to contain an alphabetical list of propositional and predicate logics that have been investigated in the published literature.

This list is still very much under construction, so feel free to add further logics, and to add information about individual entries.

Many of the propositional logics on this page have algebraic semantics given by a class of structures on the main page. Algebraic logic is the area that investigates the connections between logics and their algebraic counterparts.

1. Arrow logic (LaTeX)
2. Basic logic (LaTeX)
3. BCI logic (LaTeX)
4. BCK logic (LaTeX)
5. Classical full Lambek calculus (LaTeX)
6. Classical propositional logic (LaTeX)
7. Classical predicate logic (LaTeX)
8. First order logic (LaTeX)
9. Full Lambek calculus (LaTeX)
10. Full Lambek calculus with contraction (LaTeX)
11. Full Lambek calculus with exchange (LaTeX)
12. Full Lambek calculus with weakening (LaTeX)
13. Goedel logic (LaTeX)
14. Intuitionistic logic (LaTeX)
15. Intuitionistic multiplicative additive linear logic (LaTeX)
16. Linear logic (LaTeX)
17. Lukasiewicz logic (LaTeX)
18. Modal logic K (LaTeX)
19. Modal logic T (LaTeX)
20. Modal logic S4 (LaTeX)
21. Modal logic S5 (LaTeX)
22. Multiplicative additive linear logic (LaTeX)
23. Multivalued logic (LaTeX)
24. Orthologic (LaTeX)
25. Quantum computational logic (LaTeX)
26. Quantum logic (LaTeX)
27. Positive modal logic (LaTeX)
28. Product logic (LaTeX)
29. Relevance logic (LaTeX)
30. Substructural logic (LaTeX)
31. Temporal logic (LaTeX)
32. Tense logic (LaTeX)