Games semantics for linear logic
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. gtm 5, 43-50
- https://doi.org/10.1109/lics.1991.151629
Abstract
An attempt is made to relate various notions of duality used in mathematics with the denotational semantics of linear logic. The author proposes a naive semantics for linear logic that, in a certain sense, generalizes various notions such as finite-dimensional vector spaces, topological spaces, and J.-Y. Girard's (1987) coherence spaces. A game consists of a set of vectors (or strategies), a set of forms (or co-strategies) and an evaluation bracket. This is enough to interpret the connectives of full propositional linear logic, including exponentials.Keywords
This publication has 7 references indexed in Scilit:
- From proof nets to interaction netsPublished by Cambridge University Press (CUP) ,1995
- *-Autonomous categories and linear logicMathematical Structures in Computer Science, 1991
- The Dialectica categoriesContemporary Mathematics, 1989
- The linear abstract machineTheoretical Computer Science, 1988
- Linear logicTheoretical Computer Science, 1987
- *-Autonomous CategoriesPublished by Springer Nature ,1979
- Formal Category Theory: Adjointness for 2-CategoriesLecture Notes in Mathematics, 1974