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)

Notes

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 http://www.cc.utah.edu/~nahaj/logic/structures/systems/x.html
This page was last modified on September 11th, 2006