# System EC

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

## Notes

## Based on

System EC is System E
+ Axiom C[(Lp&Lq) > L(p&q)]

Or in other words:

- PC
- Definitions
- Rules
- Axioms

[Chellas, 1980, p237]

## Basis for

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

# Go to ...

© Copyright 2000, by John Halleck, All Rights Reserved.

This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/ec.html

This page was last modified on November 21st, 2004