Differences
This shows you the differences between two versions of the page.
logics [2010/07/29 17:34] jipsen created |
logics [2010/07/29 17:36] (current) jipsen |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | =====Logics===== | ||
+ | |||
This page is intended to contain an alphabetical list of propositional and predicate logics that have been investigated in the published literature. | 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. | 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 [[index|main page]]. Algebraic logic is the area that investigates the connections between logics and their algebraic counterparts. | + | Many of the propositional logics on this page have algebraic semantics given by a class of structures on the [[http://math.chapman.edu/~jipsen/structures/doku.php/|main page]]. Algebraic logic is the area that investigates the connections between logics and their algebraic counterparts. |
-[[Arrow logic]] | -[[Arrow logic]] |
Trace: