3 ms·
What is the semantics of Linear Logic?
by YorkshireSeason 8y ago
What is the semantics of Linear Logic?
- adamnemecek 8y agoIt has several interpretations. One is close to game theory, one is related to ownership, one is related to probability, one is related to interfaces. These are all the same idea.
- YorkshireSeason 8y agoAre they for full LL or just small fragments (like MALL)? And what kind of completeness properties are known to hold or not to hold for those models?
- AstralStorm 8y agoYou have normal additive (and/with, or/plus) and multiplicative operators (forall/times, nonsuch/par) as well as exponential ones (ofcourse/ever, whynot/sometimes). The final two are the linear part as they cause the logic to be positional. The closest CS equivalent are categorial grammars (including combinatorial ones), the difference is that pure linear logic is commutative while these are not in general.