Axiom MMp

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]

E60 = S + E20 [Hughes and Cresswell, 1996, p364]

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


Go to ...


© 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.