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:

• Standard PC
• Intuitionist PC
• Fitch Logic Calculus
• Johansson Minimal Calculus
• LC

Go to ...

• Systems Page
• Structures Page
• Logic Page
• John Halleck's home page

© 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