Proof Theory

The deductive component specifies:

• Axioms or axiom schemas
• Rules of inference (modus ponens, universal generalization, etc.)
• Derivation procedures for establishing theorems
• The consequence relation $⊢$ between premises and conclusions