Axiom L(true)

Notes

[Chellas, 1980]

This system is also called Axiom N [Chellas, 1980, page ??]

L(true)

• Axioms Page
• Structures Page
• Logic Page
• John Halleck's home page

© Copyright 2007 by John Halleck, All Rights Reserved.

This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/LT.html
This page was last modified on January 28th, 2008