# 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:

- J1: (p=>q)=>(~q=>~p)
- J2: ~(p&~p)

[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