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.
See also
This article is issued from Wikipedia - version of the 6/9/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.