Axiom R

Notes

[Chellas, 1980]

Axiom

(Lp&Lq)==L(p&q)

It is part of all regular logic systems. [Chellas, 1980, p235]

Systems


Go to ...


© Copyright 2001 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/ECLpLqLCpq.html
This page was last modified on November 21st, 2004.