Structural proof theory
article-link
What links here
Substructural logic
Bunched logic
article-link
Categorial grammar
article-link
Structural rule
article-link
Monotonicity of entailment
article-link
Affine logic
article-link
Linear logic
article-link
List of rules of inference
article-link
List of mathematical logic topics
article-link
Absorption law
article-link
Sequent calculus
article-link
Sequent
article-link
Relevance logic
article-link
Proof theory
article-link
Natural deduction
article-link