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
This page was last modified on October 11th, 2005