System LC (Dummett)

[Dummett, 1959]


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


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
This page was last modified on November 2nd, 2005