This system is the pure implicational part of of Standard PC It is the basis for lots of logics... which I need to get around to listing here.
PCI is the system ICI plus the axiom Peirce[((p>q)>p)>p] [CCCpqpp] [Zeman, 1973, page 14, top]
© Copyright 2005, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/pci.html
This page was last modified on October 11th, 2005