Normal form (natural deduction)
article-link
What links here
Dag Prawitz
Structural proof theory
article-link
Proof-theoretic semantics
article-link
Cut-elimination theorem
article-link
Semantics (logic)
article-link
Jean-Yves Girard
article-link
List of logicians
article-link
Curry–Howard correspondence
article-link
Sequent
article-link
Rolf Schock Prizes
article-link
Relevance logic
article-link
Proof theory
article-link
Natural deduction
article-link
Parameter
article-link