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 ...
user avatar

Only top scored, non community-wiki answers of a minimum length are eligible