Downward entailing
article-link
What links here
Monotonicity of entailment
Structural rule
article-link
Affine logic
article-link
Quantum logic
article-link
Logical reasoning
article-link
Linear logic
article-link
Substructural logic
article-link
Monotone
article-link
List of rules of inference
article-link
Non-monotonic logic
article-link
Classical logic
article-link