System ICI (Intuitionist Calculus of Implication)

• [Zeman, 1973, p8]
• [Hilbert and Ackermann, 1950] (Not this system per say, but includes it. -jh)

Notes

Also called the "Positive Implicational Calculus" [Zeeman, 1973, p8]

This system is the pure implicational part of the Intuitionist logic.

A decision procedure for this system (Under the name PIC) is given in [Resnik, 1962,]

[The basis section of this page is being totally rewritten, since it has had a confusion between the pure impilicational part of the logic, and the logic fromed from just the implicational axioms. 2010-04-29 -JH]

Basis for

• PCI = ICI + Peirce: ((p>q)>p)>p [CCCpqpp] [Zeman, 1973, p14, top]

Go to ...

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

© Copyright 2006-2010, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/ici.html
This page was last modified on Thursday, April 28th, 2010