Argument
Structural proof theory
Overview
subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Journal of Symbolic Logic
- Nuel Belnap
- Intuitionistic logic
- Logic programming
- Logical connective
- Proof theory
- Modus ponens
- Mathematical logic
- Model theory
- Sequent calculus
- Curry–Howard correspondence
- Modal logic
- Formal system
- Natural deduction
- Classical logic
- Linear logic
- Consistency
- Intermediate logic
- Journal of Philosophical Logic
- Cut-elimination theorem
- Substructural logic
- Dag Prawitz
Place in the tradition
Part of Modal logic.