# 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

- PC
- Definitions
- Rules
- Axioms

[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