Positive Propositional Logic

[Hackstaff, 1966]

[Hilbert and Bernays, 1934]

Notes

Hackstaff calls this system P+ (P sub plus), not to be confused with Church's P+

Based on (Hilbert)

[Hilbert and Bernays, 1934, p68-71, plus table on p66]

Based on (Hilbert II)

[Hilbert und Ackermann, 1959, p39]

Based on (Hackstaff)

Note that this is (by inspection), the system ICI plus the Hilbert Axioms (above) for the individual operators other than implication. (Hackstaff specificly acknowledges the axioms from Hilbert) -JH

[Hackstaff, 1966, p50]

Basis for

PPL + appropriate axioms for NOT gives standard PC. [Hackstaff, 1966, p95]

PPL + appropriate axioms for NOT gives Intuitionist PC. [Hackstaff, 1966, p223]

PPL + appropriate axioms for NOT gives Fitch Calculus. [Hackstaff, 1966, p223]

PPL + appropriate axioms for NOT gives Johansson Minimal Calculus [Hackstaff, 1966, p229]


Go to ...


© Copyright 2006, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/ppl.html
This page was last modified on August 11th, 2006