System C4

[Hughes and Cresswell, 1968]

[Anderson and Belnap, 1962]

[Ulrich, 1981]

Based on

• p > p
• (p > q) > (r > (p > q))
• (p > (q > r)) > ((p > q) > (p > r))

Originally from [Anderson and Belnap, 1962, p31-32]

Based on

• C1: p => p
• C2: (p=>(q=>r)) => ((p=>q)=>(p=>r))
• C4: a => (p=>a) [Where a is strict (I.E. of the form X => y)]

[Hughes and Cresswell, 1968, p295]

Basis for

Go to ...

• Axioms Page
• Systems Page
• Structures Page
• Logic Page
• John Halleck's home page

Notes

My thanks to Dolph Ulrich [Ulrich, email, 2005] for straightening me out and documenting that the two C4's that used to be on this page were the same system.

© Copyright 2006, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/c4.html
This page was last modified on July 17, 2006