Logic System Proofs

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:


Go to ...

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