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}
}
  • A. Blass
  • Published 1 July 1997
  • Philosophy, Computer Science
  • Log. J. IGPL
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 

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

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

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

TLDR
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

TLDR
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

TLDR
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

TLDR
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

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

TLDR
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

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

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

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

A Game Semantics for Linear Logic

  • A. Blass
  • Philosophy
    Ann. Pure Appl. Log.
  • 1992

Games and full completeness for multiplicative linear logic

TLDR
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

  • G. Japaridze
  • Computer Science, Philosophy
    Ann. Pure Appl. Log.
  • 1997

Is Game Semantics Necessary?

TLDR
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

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

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

Linear logic

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

Complexity of winning strategies

  • A. Blass
  • Computer Science, Mathematics
    Discret. Math.
  • 1972

Constructivism in Mathematics: An Introduction