Philosophy: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.

It is also a name for a theory by Walther Brüning:

• Strict logic (Brüning)

See also

• Substructural logic