These are logic systems for the Logic Calculator.

- Basic PC
- L.H. Hackstaff's Plt system (Minimal standard PC with standard negation)
- Hilbert's Positive Prop. Calculus (No negation)
- Intuitionist PC (Scholz and Schroter)
- Intuitionist PC (Heyting's)
- Fitch's near intuitionist PC
- Johansson's Minimum Calculus
- Partial implimentation of Whitehead and Russell's PC (Don't count on this one working.)
- NOT and OR instead of implication. (This probably doesn't work either.)

- Standard Modal systems (Using Plt for the PC basis)

This page is http://www.cc.utah.edu/~nahaj/logic/systems/

This page was last modified on August 2nd, 1999.