There are structural similarities between LC and S4.3.1 in the same manner that there are between PC and S5, and IPC and S4. [Zeman, 1973, p231]
LC is the Intuitionist PC Plus the axiom (p>q)+(q>p) [Dummett, 1959, p97]
It is somewhere between Intuitionist PC and Standard PC. [Zeman, 1973, p231]
LC is an alternative to Standard PC contrast with the other popular alternatives:
© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/lc.html
This page was last modified on November 2nd, 2005