Is game semantics necessary?
Andreas Blass
TL;DR
This paper explores whether game semantics is inherently embedded in the formal structure and intuitions of linear logic, questioning its necessity for understanding the logic.
Contribution
It analyzes the relationship between game semantics and linear logic, clarifying whether game semantics is essential or implicit.
Findings
Game semantics is partially implicit in linear logic formalism.
Linear logic can be understood without explicit game semantics.
The paper clarifies the role of game semantics in the foundations of linear logic.
Abstract
We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Logic, programming, and type systems · Semantic Web and Ontologies