Modal logic
article-link
What links here
Sequent calculus
Curry–Howard correspondence
article-link
Sequent
article-link
Relevance logic
article-link
Proof theory
article-link
Abductive reasoning
article-link
History of logic
article-link
Natural deduction
article-link
Gerhard Gentzen
article-link
Type theory
article-link
Mathematical logic
article-link
Modus ponens
article-link
Propositional logic
article-link
First-order logic
article-link
Calculus
article-link