System R

[Chellas, 1980] (See the listing in his index)

Notes

This system is also called EMC [Chellas, 1980, p237]

Based on

System R is System M (Chellas) + Axiom C: [(Lp&Lq) > L(p&q)] [Chellas, 1980, p237]

System R is System EC + Axiom M: [L(p&q)>(Lp&Lq)] [Chellas, 1980, p237]

Basis for

System K is System R + Axiom N: L(true) [Chellas, 1980, p237]


Go to ...


© Copyright 2007, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/r.html
This page was last modified on January 28th, 2008