πRoots
⊢

Proof Theory

★★★★★Graduate+

📖Definition

Studies formal proofs as mathematical objects. Natural deduction, sequent calculus, cut elimination, and proof normalization are key topics.

🔗Related Documents

→Prerequisites

→first-order-logic→formal-systems

←Next Topics

←ordinal-analysis←reverse-mathematics

↔Related

↔type-theory↔constructive-mathematics

⚡Applications

⚡automated-theorem-proving⚡program-verification
#logic#proof-theory#formal-methods