System LC (Dummett)

[Dummett, 1959]

Notes

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]

Based on

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]

Basis for

Contrast

LC is an alternative to Standard PC contrast with the other popular alternatives:


Go to ...


© 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