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 ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
linear-logic × 29lo.logic × 13
type-theory × 7
pl.programming-languages × 6
lambda-calculus × 4
ct.category-theory × 4
cc.complexity-theory × 3
type-systems × 3
reference-request × 2
linear-algebra × 2
functional-programming × 2
typed-lambda-calculus × 2
type-inference × 2
interaction-nets × 2
soft-question × 1
matrices × 1
semantics × 1
proof-theory × 1
automated-theorem-proving × 1
survey × 1
denotational-semantics × 1
temporal-logic × 1
topology × 1
calculus-of-constructions × 1
domain-theory × 1