Strict logic
From Wikipedia, the free encyclopedia
 |
This article does not cite any references or sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (December 2009) |
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
 |
This logic-related article is a stub. You can help Wikipedia by expanding it. |
