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.]

Notations

Default notation is currently set as: Polish Notation

This notation looks like: CpCqp

Other choices are:

Systems


Go to ...


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