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.
[edit]
See also
Template:Mathlogic-stubeo:Vikipedio:Projekto matematiko/Severa logiko