Logics

This list is still 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]?
2. [Classical propositional logic]?
3. [Classical predicate logic]?
4. [First order logic]?
5. [Intuitionistic logic]?
6. [Intuitionistic multiplicative additive linear logic]?
7. [Linear logic]?
8. [Lukasiewicz logic]?
9. [Modal logic K]?
10. [Modal logic T]?
11. [Modal logic S4]?
12. [Modal logic S5]?
13. [Multiplicative additive linear logic]?
14. [Positive modal logic]?
15. [Relevance logic]?
16. [Temporal logic]?
17. [Tense logic]?