System PCI (Positive Calculus of Implication)

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.

[Zeman, 1973]

Based on

PCI is the system ICI plus the axiom Peirce[((p>q)>p)>p] [CCCpqpp] [Zeman, 1973, page 14, top]

Basis for


Go to ...


© 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