System M (Chellas)

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

Disambiguation This "M" is not to be confused with:

• M (von Wright) is T (Feys) [Hughes and Cresswell, 1968, p125] [Lemmon, 1957, p180]
• M (Megill and Bunder) [Megill and Bunder, 1996]

Notes

This system is also called EM [Chellas, 1980, p237]

Based on

System M is System E + Axiom M [L(p&q) > (Lp&Lq)]

Or in other words:

• PC
  • Modus Ponens
  • Uniform substitution
• Definitions
  • Mp is ~L~p;
• Rules
  • From |- A<=>B Infer |- LA<=>LB
• Axioms
  • Axiom M [L(p&q)>Lp&Lq]

[Chellas, 1980, p235]

Basis for

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

Go to ...

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

© Copyright 2005, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/m.chellas.html
This page was last modified on August 4th, 2006