Cut-elimination theorem
article-link
What links here
Admissible rule
Monotonicity of entailment
article-link
Linear logic
article-link
Sequent calculus
article-link
Rule of inference
article-link
Proof theory
article-link
Intuitionistic logic
article-link
Unification (computer science)
article-link
Modus ponens
article-link
Inadmissible inference rule
redirect
Admissible inference rule
redirect