System C4

[Hughes and Cresswell, 1968]

[Anderson and Belnap, 1962]

[Ulrich, 1981]

Notes

There are at least 6, and no more than 8 two axiom bases for C4 [EFHW, 2002, pg. 170]

Based on

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

Based on

[Hughes and Cresswell, 1968, p295]

Based on

Note that this is the shortest possible two axiom basis for C4

[EFHW, 2002, pg. 170]

Based on

Note that this is the shortest possible single axiom basis for C4 [EFHW, 2002, pg. 171]

[EFHW, 2002, pg. 171]

Basis for


Go to ...

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,2007,2008, 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 17th, 2008