Bunched logic
article-link
What links here
Structural rule
Cut-elimination theorem
article-link
Noncommutative logic
article-link
Affine logic
article-link
Linear logic
article-link
Substructural logic
article-link
List of mathematical logic topics
article-link
Natural deduction
article-link
Type theory
article-link