System E

[Chellas, 1980] (See the listing in his index)

Notes

This is the minimal classical system. [Chellas, 1980, p231]

This system should NOT be confused with the Propositional logic system "E" (Equivalence logic), or Anderson and Belnap's E

Based on

[Chellas, 1980, p231]

Basis for

M (Chellas) = E + Axiom M [L(p&q)>(Lp&Lq)] [Chellas, 1980, p237]

EC = E + Axiom C[(Lp&Lq) > L(p&q)] [Chellas, 1980, p237]

EK4 = E + Axiom K: L(p>q) > (Lp>Lq) + Axiom 4: Lp > LLp [Surendonk, 1998]


Go to ...


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