System ICI (Intuitionist Calculus of Implication)


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
This page was last modified on Thursday, April 28th, 2010