Axiom MMp

• [Alban, 1943]
• [Haldén, 1950]
• [Hughes and Cresswell, 1996]
• [Lewis and Langford, 1932]
• [Pledger, 1972]

Notes

Axiom

MMp

It shows up most commonly in strengthening Lewis systems, and in making regular systems irregular.

Systems

S6 = S + S2 [Alban, 1943] [Hughes and Cresswell, 1996, p364]

S7 = S + S3 [Haldén, 1950] [Hughes and Cresswell, 1996, p364]

S9 = S + S3 + Mp>LMp [Hughes and Cresswell, 1996, p364]

S9 = S + S3.5 [Hughes and Cresswell, 1996, p364]

E6⁰ = S + E2⁰ [Hughes and Cresswell, 1996, p364]

+ many of the Pledger systems. [Pledger, 1972]

Go to ...

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

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