Peirce: ((p>q)>p)>p [CCCpqpp]

[ *** Under Construction *** ]

Systems

Standard PC = Intuitionist PC + Peirce

Go to ...

• Axioms page
• Structures page
• Logic Page
• John Halleck's Home Page

© Copyright 2007 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/CCCpqpp.html
This page was last modified on January 24th, 2005.