System ICI (Intuitionist Calculus of Implication)

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


Go to ...


© 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