System EMN

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


Based on

System EMN is System M (Chellas) + Axiom N: L(true) [Chellas, 1980, p237]

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

Basis for

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

Go to ...

© Copyright 2000, by John Halleck, All Rights Reserved.
This page is
This page was last modified on January 17th, 2007