Linked from

The 25 pages that link to Proof theory, each with the reason it gives.

• David HilbertRelated: Hilbert’s formal methods helped establish proof as an object of mathematical investigation.

• Mathematical proofNarrower topic: It investigates what proof systems can establish and how their strengths compare.

• Intuitionistic logicNarrower topic: Its proof-centered interpretation makes proof structure central to the logic.

• Computability theoryCompared with: It concerns what formal systems can prove, a question related to but distinct from algorithmic solvability.

• Sequent calculusNarrower topic: Sequent calculi are central tools for analyzing proof structure.

• Hilbert's programBroader topic: Hilbert's metamathematical approach helped establish proof theory as a field.

• Ordinal numberNarrower topic: Ordinal applications are especially influential in proof-theoretic comparisons.

• Formal proofNarrower topic: It treats derivations themselves as objects of mathematical investigation.

• ConsistencyNarrower topic: Consistency proofs often analyze derivations rather than the meanings of statements.

• Mathematical logicBroader topic: It examines derivations syntactically, independently of whether their conclusions are true in a model.

• Modus ponensNarrower topic: Proof theory examines modus ponens as a basic operation in derivations.

• Formal logicBroader topic: It examines proofs as structured objects within formal logical systems.

• Constructive mathematicsNarrower topic: It provides tools for analyzing the information carried by constructive proofs.

• FormalismRelated: It analyzes derivations in the rule-based terms central to formalism.

• Formal semanticsCompared with: It emphasizes what can be derived, while semantics emphasizes interpretation and truth.

• Consistency proofNarrower topic: Consistency proofs often analyze derivations directly rather than interpret them in models.

• History of logicRelated: Modern logic increasingly treated proofs themselves as formal systems to analyze.

• Ordinal analysisNarrower topic: Ordinal analysis is a proof-theoretic method for classifying theories.

• Disjunction introductionNarrower topic: The rule is studied as part of the structure and behavior of formal proofs.

• Formal scienceRelated: It examines deduction itself as an object of formal investigation.

• Conjunction introductionNarrower topic: It analyzes conjunction introduction as a component of proof systems.

• Herbrand's theoremNarrower topic: Herbrand's theorem became a central bridge between proofs and semantic validity.

• Conjunction eliminationNarrower topic: The rule’s admissibility and proof transformations are questions in proof theory.

• Craig interpolationNarrower topic: Interpolation became a major structural theorem in proof theory.

• Kruskal's tree theoremNarrower topic: The theorem became notable for its unusually strong foundational strength.