System KC

[Chagrov and Zakharyaschev, 1997]

Notes

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

Contrast

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 http://www.cc.utah.edu/~nahaj/logic/structures/systems/kc.html
This page was last modified on July 23rd, 2006