A parallel game semantics for Linear Logic

&
Archive for Mathematical Logic 36 (3):189-217 (1997)
  Copy   BIBTEX

Abstract

We describe the constructive content of proofs in a fragment of propositional Infinitary Linear Logic in terms of strategies for a suitable class of games. Such strategies interpret linear proofs as parallel algorithms as long as the asymmetry of the connectives ? and ! allows it

Categories

Keywords

Reprint years

DOI

10.1007/s001530050061

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Imperative programs as proofs via game semantics.Martin Churchill, Jim Laird & Guy McCusker - 2013 - Annals of Pure and Applied Logic 164 (11):1038-1078.
Games and full completeness for multiplicative linear logic.Abramsky Samson & Jagadeesan Radha - 1994 - Journal of Symbolic Logic 59 (2):543-574.
A game semantics for linear logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.
Resource modalities in tensor logic.Paul-André Melliès & Nicolas Tabareau - 2010 - Annals of Pure and Applied Logic 161 (5):632-653.
Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications.Merlijn Sevenster - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 475-497.
Isomorphic formulae in classical propositional logic.Kosta Došen & Zoran Petrić - 2012 - Mathematical Logic Quarterly 58 (1):5-17.
Preservation theorems in linear continuous logic.Seyed-Mohammad Bagheri & Roghieh Safari - 2014 - Mathematical Logic Quarterly 60 (3):168-176.
The complexity of Horn fragments of Linear Logic.Max I. Kanovich - 1994 - Annals of Pure and Applied Logic 69 (2-3):195-241.
Syllogisms in Rudimentary Linear Logic, Diagrammatically.Ruggero Pagnan - 2013 - Journal of Logic, Language and Information 22 (1):71-113.
Equality of proofs for linear equality.Kosta Došen & Zoran Petrić - 2008 - Archive for Mathematical Logic 47 (6):549-565.

Analytics

Added to PP
2013-11-23

Downloads
22 (#699,274)

6 months
4 (#1,005,098)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stefano Berardi
Università degli Studi di Torino

Citations of this work

No citations found.

Add more citations

References found in this work

A game semantics for linear logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.
A semantics of evidence for classical arithmetic.Thierry Coquand - 1995 - Journal of Symbolic Logic 60 (1):325-337.

Add more references