L(p>q)>(Lp>Lq)
This axiom is part of all Normal modal logic systems. [Hughes and Cresswell, 1996, p???]
It is the defining axiom of the system K (K is the weakest Normal system) [Hughes and Cresswell, 1996, p???]
It is part of all regular logic systems. [Chellas, 1980, p235]
S4 = K + T [Lp>p] + 4 [Lp > LLp]
S5 = K + T [Lp>p] + 5 [Mp>LMp]
© Copyright 1999 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/CLCpqCLpLq.html
This page was last modified on October 11th, 2005