Strict logic
From Infogalactic: the planetary knowledge core
Lua error in package.lua at line 80: module 'strict' not found. 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
<templatestyles src="Asbox/styles.css"></templatestyles>