The claim "System X is System Y plus the axiom Z" invites the question of "Why?". There are two basic ways of answering this sort of question. The first, which I usually do, is to cite some authority on the subject. The second is to actually prove it, which I don't (yet) generally do..

This section is where I intend to accumulate the proofs.

[As long as this is getting automated, automated proofs would be a great help here.]

Default notation is currently set as: CS

This notation looks like: p -> (q -> p)

Other choices are:

- Full List of Logic Systems covered
- List of standard axioms
- List of standard inference rules
- Logic Structures Page
- Logic Page
- John Halleck's Home Page

© Copyright 2008 by John Halleck, All Rights Reserved. This page is http://www.cc.utah.edu/~nahaj/logic/structures/index.html This page was last modified on Febrary 6th, 2009.