[Chagrov and Zakharyaschev, 1997]
I don't have a good reference for this system. I found it mentioned in: [Chagrov and Zakharyaschev, 1997]
KC is the Intuitionist PC Plus the axiom ~p + ~~p, It is somewhere between Intuitionist PC and Standard PC.
KC 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/kc.html
This page was last modified on July 23rd, 2006