System KC

[Chagrov and Zakharyaschev, 1997]


I don't have a good reference for this system. I found it mentioned in: [Chagrov and Zakharyaschev, 1997]

Based on

KC is the Intuitionist PC Plus the axiom ~p + ~~p, It is somewhere between Intuitionist PC and Standard PC.

Basis for


KC 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 July 23rd, 2006