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]]