Logic System Interrelationships
Shows how a number of representative logics fit together. The interrelationships usually given as something of the form: System X is system Y plus the axiom Z. By John Halleck.

No queries for www.cc.utah.edu/~nahaj/logic/structures