System E20

[Hughes and Cresswell, 1996]

Based on

[Hughes and Cresswell, 1996, p363] Say E2 can be axiomitized by PC, T, K, US, MP, and R* They also say (P 364) that E2-0 is E2 - T. *SO*

The system E20 (E2 superscript 0) is

Basis for

E20 + Lp>p [Axiom T] is E2 [Hughes and Cresswell, 1996, p364]

E20 + E3 [L(p>q)>L(Lp>Lq)] is E30 [Hughes and Cresswell, 1996, p364]

E20 + MMp [Axiom S] is E60 [Hughes and Cresswell, 1996, p364]

E20 + Mp is E+ [Hughes and Cresswell, 1996, p364]


Go to ...


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