Strict logic

From Free net encyclopedia

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

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

See also

• Substructural logic

Template:Mathlogic-stubeo:Vikipedio:Projekto matematiko/Severa logiko