10
votes
How does linear logic achieve resource management?
The following answers your first two questions.
It seems to me that you're working under the assumption that propositional linear logic is a 4-valued logic, in the same sense that propositional ...
- 4,783
Only top scored, non community-wiki answers of a minimum length are eligible