Structural proof theory
article-link
What links here
Natural deduction
Proof net
article-link
Dag Prawitz
article-link
Proof-theoretic semantics
article-link
Cut-elimination theorem
article-link
Quantum logic
article-link
List of functional programming topics
article-link
Laws of Form
article-link
Material conditional
article-link
Computability logic
article-link
Calculus of constructions
article-link
Deduction theorem
article-link
Richard Sylvan
article-link
Set-theoretic definition of natural numbers
article-link
Paraconsistent logic
article-link
Typing rule
article-link
Outline of software engineering
article-link
Second-order logic
article-link
Curry–Howard correspondence
article-link
Sequent
article-link
Rule of inference
article-link
Sequent calculus
article-link
Relevance logic
article-link
Proof theory
article-link
Hoare logic
article-link
Negation
article-link
Curry's paradox
article-link
Deductive reasoning
article-link
History of logic
article-link
Sleepy Hollow (film)
article-link
Planner (programming language)
article-link
Gerhard Gentzen
article-link
Mathematical logic
article-link
Propositional logic
article-link
Gödel's completeness theorem
article-link
First-order logic
article-link
Deduction
article-link
Introduction rule
redirect
Elimination rule
redirect
Natural deduction logic
redirect
Natural deduction calculus
redirect