System E30 (E3 superscript 0)

[Hughes and Cresswell, 1996]

Based on

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

Therefore E30 is:

Basis for

E30 + MMp [Axiom S] = E70 [Hughes and Cresswell, 1996, p354]

E3 = E30 + Axiom Lp>p [Axiom T] [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/e3-0.html
This page was last modified on October 9th, 2005