Some semantical aspects of linear logic

DOI10.1093/JIGPAL/5.4.487zbMath0881.03006OpenAlexW2029204905MaRDI QIDQ4353717

Andreas Blass

Publication date: 17 February 1998

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d4694b4c9ecf8627668ef939567ab5ba6a60f8a3

zbMATH Keywords

propositional linear logicgame semanticsdeterminacy of games``of course modalityresource-consciousness

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Some semantical aspects of linear logic