# Some Semantical Aspects of Linear Logic

@article{Blass1997SomeSA, title={Some Semantical Aspects of Linear Logic}, author={Andreas Blass}, journal={Log. J. IGPL}, year={1997}, volume={5}, pages={487-503} }

We describe and discuss several semantical views of linear logic. Our primary topic is game semantics, including modifications suggested by Abramsky, Jagadeesan, Hyland, Ong, and Japaridze. We also briefly discuss Girard’s coherence spaces and de Paiva’s Dialectica-like semantics.1

## 17 Citations

### Substructural logics, pragmatic enrichment, and the inferential role of logical constants

- PhilosophyInquiry
- 2018

ABSTRACT My aim in this paper is to present a pluralist thesis about the inferential role of logical constants, which embraces classical, relevant, linear and ordered logic. That is, I defend that a…

### Substructural logics and pragmatic enrichment

- Philosophy
- 2020

In this dissertation, we argue for a Pragmatic Logical Pluralism, a pluralist thesis about logic which endorses Classical, Relevant, Linear, and Ordered logic. We justify that the formal languages of…

### On How to Be a Dialogician

- PhilosophyLogic, Thought and Action
- 2005

The aim here will be to present the main technical and philosophical features of what can be seen as the dialogical approach to logic, illustrated through both very well known and new dialogics, and delineate the common pragmatic attitude which constitutes the cohesive force within the dialogicals universe.

### A 1 . Mathematical Logic Lorenzen Games for Full Intuitionistic Linear Logic

- Computer Science
- 2011

This note discusses game semantics, in the style of Lorenzen, for Full Intuitionistic Linear Logic, following Blass and Rahman and recalling that Blass presented two slightly different semantics for Linear Logic using games in[2, 1].

### Logics for Dialogue

- Philosophy
- 2007

It seems that the Game-Theoretic interpretation of Linear Logic provides the appropriate tool for combining elementary games of various kinds.

### A Game Model for Proofs with Costs

- Computer ScienceTABLEAUX
- 2019

A game, where player I defends a claim corresponding to a (single-conclusion) sequent, while player II tries to refute that claim, leads to a new kind of labelled calculus, which can be seen as a fragment of SELL (subexponential linear logic).

### Logic, language games and ludics

- Philosophy
- 2003

Wittgenstein’s language games can be put into a wider service by virtue of elements they share with some contemporary opinions concerning logic and the semantics of computation. I will give two…

### Ju n 20 19 A Game Model for Proofs with Costs

- Computer Science
- 2019

A game, where player P defends a claim corresponding to a (single-conclusion) sequent, while player O tries to refute that claim, leads to a new kind of labelled calculus, which can be seen as a fragment of SELL (subexponential linear logic).

### Completeness Theorems and the Separation of the First and Higher-Order Logic

- Philosophy
- 2007

With his 1929 thesis Gödel delivers himself to us almost fully formed. He gives in it a definitive, mathematical treatment of the completeness theorem; but he also declares himself philosophically,…

### Towards compositional game theory

- Economics
- 2016

We introduce a new foundation for game theory based on so-called open games. Unlike existing approaches open games are fully compositional: games are built using algebraic operations from standard…

## References

SHOWING 1-10 OF 38 REFERENCES

### Questions and answers: a category arising in linear logic complexity theory, and set theory

- Mathematics
- 1993

A category used by de Paiva to model linear logic also occurs in Vojtas's analysis of cardinal characteristics of the continuum. Its morphisms have been used in describing reductions between search…

### Games and full completeness for multiplicative linear logic

- Computer ScienceJournal of Symbolic Logic
- 1994

It is shown that this semantics yields a categorical model of Linear Logic and proves full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net.

### A Constructive Game Semantics for the Language of Linear Logic

- Computer Science, PhilosophyAnn. Pure Appl. Log.
- 1997

### Is Game Semantics Necessary?

- Computer ScienceCSL
- 1993

The extent to which game semantics is implicit in the basic concepts of linear logic is discussed, and linear logic itself is discussed.

### A Dialectica-like Model of Linear Logic

- PhilosophyCategory Theory and Computer Science
- 1989

The aim of this work is to define the categories GC, describe their categorical structure and show they are a model of Linear Logic. The second goal is to relate those categories to the Dialectica…

### Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers

- Computer ScienceCSL
- 1994

The complexity of set constraints, data types, infinity and equality in system AF 2, and the semantics of the C programming language.

### Linear logic

- Computer Science, PhilosophySIGA
- 1992

This column presents an intuitive overview of linear logic, some recent theoretical results, and summarizes several applications oflinear logic to computer science.