# System EN

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

## Notes

## Based on

System EN is System E
+ Axiom N: L(true)

Or in other words:

- PC
- Definitions
- Rules
- Axioms

[Chellas, 1980, p237]

## Basis for

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

System ECN is EN
+ Axiom C[ (Lp&Lq) > L(p&q)]
[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/en.html

This page was last modified on November 21st, 2004