Strict logic

Essentially synonymous with relevant logic, though it can be characterized proof-theoretically as

• ordinary logic without weakening, or
• linear logic with contraction

See also

• Relevant logic
• Linear logic
• Substructural logic
• Proof theory