Johansson Minimal Calculus

[Hackstaff, 1966]

Notes

Based on

Johansson Minimal Calculus is the Hilbert's Positive Propositional Logic plus the Axiom HA11 [((p=>q)&(p=>~q))=>~p]

OR

Johansson Minimal Calculus is the Hilbert's Positive Propositional Logic plus the axioms:

[Hackstaff, 1966, p229]

Basis for

Contrast

Johansson Minimal Calculus is an alternative to Standard PC contrast with the other popular alternatives:


Go to ...


© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/johansson.html
This page was last modified on October 3rd, 2005