A game semantics is introduced for substructural calculi with costs, where proofs are strategies and the model yields a labelled calculus that is a fragment of subexponential linear logic.
The structure of ex- ponentials: Uncovering the dynamics of linear logic proofs
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Game Model for Proofs with Costs
A game semantics is introduced for substructural calculi with costs, where proofs are strategies and the model yields a labelled calculus that is a fragment of subexponential linear logic.