Resource modalities in tensor logic

9 years 4 months ago
Resource modalities in tensor logic
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more primitive than game semantics. Here, we defend the opposite view, and thus advocate that game semantics is conceptually more primitive than linear logic. This revised point of view leads us to introduce tensor logic, a primitive variant of linear logic where negation is not involutive. After formulating its categorical semantics, we interpret tensor logic in a model based on Conway games equipped with a notion of payoff, in order to reflect the various resource policies of the logic: linear, affine, relevant or exponential.
Paul-André Melliès, Nicolas Tabareau
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2010
Where APAL
Authors Paul-André Melliès, Nicolas Tabareau
Comments (0)