Strict logic
|
Essentially synonymous with relevant logic, though it can be characterized proof-theoretically as
- ordinary logic without weakening, or
- linear logic with contraction
|
Essentially synonymous with relevant logic, though it can be characterized proof-theoretically as
Information