Resource modalities in tensor logic - Archive ouverte HAL Access content directly
Journal Articles Annals of Pure and Applied Logic Year : 2010

Resource modalities in tensor logic

Paul-André Melliès
Nicolas Tabareau

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.
Fichier principal
Vignette du fichier
resource-modalities-apal.pdf (454.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00339154 , version 1 (17-11-2008)
hal-00339154 , version 2 (17-06-2009)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More