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:
