System X

[Georgacarakos, 1978] "A modal system properly independent of both the Brouwerian system and S4" G. N. Georgacarakos, Notre Dame J. Formal Logic 19, no. 1 (1978)


Based on (Georgacarakos)

The system X is the result of system T and the axiom M(MMp>LMq) > (MMp>LMq) . [Georgacarakos, 1978, pg 103]

Or (Georgacarakos)

The system X is the result of adding to system T the axioms MMp>LMMp and MLp>LMLp [Georgacarakos, 1978, pg 108]

Basis for

Go to ...

© Copyright 2005, by John Halleck, All Rights Reserved.
This page is
This page was last modified on September 11th, 2006