Relational semantics for full linear logic

, &
Journal of Applied Logic 12 (1):50-66 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2013.07.005

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,785

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

From onions to broccoli: generalizing Lewis' counterfactual logic.Patrick Girard - 2007 - Journal of Applied Non-Classical Logics 17 (2):213-229.
Full intuitionistic linear logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings).Daniel de Carvalho & Lorenzo Tortora de Falco - 2012 - Annals of Pure and Applied Logic 163 (9):1210-1236.
Relational proof system for linear and other substructural logics.W. Maccaull - 1997 - Logic Journal of the IGPL 5 (5):673-697.
Lambek calculus and its relational semantics: Completeness and incompleteness. [REVIEW]Hajnal Andréka & Szabolcs Mikulás - 1994 - Journal of Logic, Language and Information 3 (1):1-37.
Games and full completeness for multiplicative linear logic.Abramsky Samson & Jagadeesan Radha - 1994 - Journal of Symbolic Logic 59 (2):543-574.
Resource modalities in tensor logic.Paul-André Melliès & Nicolas Tabareau - 2010 - Annals of Pure and Applied Logic 161 (5):632-653.
On phase semantics and denotational semantics: the exponentials.Antonio Bucciarelli & Thomas Ehrhard - 2001 - Annals of Pure and Applied Logic 109 (3):205-241.
A note on full intuitionistic linear logic.G. M. Bierman - 1996 - Annals of Pure and Applied Logic 79 (3):281-287.
Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.

Analytics

Added to PP
2016-06-30

Downloads
35 (#667,142)

6 months
10 (#347,867)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Duality Results for (Co)Residuated Lattices.Chrysafis Hartonas - 2019 - Logica Universalis 13 (1):77-99.
Definable Operators on Stable Set Lattices.Robert Goldblatt - 2020 - Studia Logica 108 (6):1263-1280.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–101.
The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.
Kripke models for linear logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
Generalized Kripke Frames.Mai Gehrke - 2006 - Studia Logica 84 (2):241-275.

View all 7 references / Add more references