# 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