Axiom L(true)

Notes

[Chellas, 1980]

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

Axiom

L(true)

Systems


Go to ...


© 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