Skip to Main content Skip to Navigation
Journal articles

Resource modalities in tensor logic

Abstract : The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is more primitive than game semantics. We advocate instead the contrary: that game semantics is conceptually more primitive than linear logic. Starting from this revised point of view, we design a categorical model of resources in game semantics, and construct a Conway game model extended with a notion of payoff in order to capture various resource policies: linear, affine, relevant and exponential.
Complete list of metadatas

Cited literature [38 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00339154
Contributor : Nicolas Tabareau <>
Submitted on : Wednesday, June 17, 2009 - 11:48:34 AM
Last modification on : Saturday, March 28, 2020 - 2:09:20 AM
Long-term archiving on: : Saturday, November 26, 2016 - 9:36:11 AM

File

resource-modalities-apal.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Paul-André Melliès, Nicolas Tabareau. Resource modalities in tensor logic. Annals of Pure and Applied Logic, Elsevier Masson, 2010, 161 (5), pp.632-653. ⟨10.1016/j.apal.2009.07.018⟩. ⟨hal-00339154v2⟩

Share

Metrics

Record views

582

Files downloads

650