Strict logic

Strict logic is essentially synonymous with relevant logic, though it can be characterized proof-theoretically as

• ordinary logic without Disjunction introduction, or
• linear logic with contraction.

See also

• Substructural logic