System EN

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

Notes

Based on

System EN is System E + Axiom N: L(true)

Or in other words:

• PC
  • Modus Ponens
  • Uniform substitution
• Definitions
  • Mp is ~L~p;
• Rules
  • Given A<=>B Produce LA<=>LB
• Axioms
  • Axiom N: L(true)

[Chellas, 1980, p237]

Basis for

System EMN is EN + Axiom M [L(p&q)>(Lp&Lq)] [Chellas, 1980, p237]

System ECN is EN + Axiom C[ (Lp&Lq) > L(p&q)] [Chellas, 1980, p237]

Go to ...

• Systems Page
• Structures Page
• Logic Page
• John Halleck's home page

© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/en.html
This page was last modified on November 21st, 2004