BCSK

[Humberstone, 2000]

[Wos and Spinks, 2005]

Notes

Based on

[Humberstone, 2000, p8]

(Different sources give different numberings of the axioms, all tracing back to Dr. Spinks' circulating but unpublished papers, some of which flip 8 and 9. Dr. Spinks, when contacted, stated that the Humberstone numbering is the prefered one. -JH)

Basis for

Compare with


Go to ...


This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/index.html
This page was last modified on August 16th, 2006.