Philosophy:Strict logic
From HandWiki
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.
It is also a name for a theory by Walther Brüning:
- Strict logic (Brüning)
See also
 |
