Linear logic: its syntax and semantics

In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press. pp. 222--1 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

  • This entry has no external links. Add one.
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

Logic: Its syntax and semantics.Jean-Yves Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Advances in linear logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - New York, NY, USA: Cambridge University Press.
Lambda Grammars and the Syntax-Semantics Interface.Reinhard Muskens - 2001 - In Robert Van Rooij & Martin Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium. Amsterdam: ILLC. pp. 150-155.
Review: Jean-Yves Girard, Linear Logic; A. S. Troelstra, Lectures on Linear Logic. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.
A phase semantics for polarized linear logic and second order conservativity.Masahiro Hamano & Ryo Takemura - 2010 - Journal of Symbolic Logic 75 (1):77-102.
Incompatibility Semantics from Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.
Monoid based semantics for linear formulas.W. P. R. Mitchell & H. Simmons - 2001 - Journal of Symbolic Logic 66 (4):1597-1619.
Monoid based semantics for linear formulas.W. P. R. Mitchell & H. Simmons - 2002 - Journal of Symbolic Logic 67 (2):505-527.
Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics.Jan Woleński - 2012 - Logica Universalis 6 (3-4):587-596.
The Propositional Logic of Elementary Tasks.Giorgi Japaridze - 2000 - Notre Dame Journal of Formal Logic 41 (2):171-183.
Propositional glue and the projection architecture of LFG.Avery D. Andrews - 2010 - Linguistics and Philosophy 33 (3):141-170.
Linear order and its place in grammar.Richard Wiese - 2003 - Behavioral and Brain Sciences 26 (6):693-694.

Analytics

Added to PP
2014-01-25

Downloads
1 (#1,899,057)

6 months
1 (#1,462,504)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Instability and Contraction: Méditations hégéliennes I.Elia Zardini - 2019 - Journal of Philosophical Logic 48 (1):155-188.
Logics for modelling collective attitudes.Daniele Porello - 2018 - Fundamenta Informaticae 158 (1-3):239-27.

View all 27 citations / Add more citations

References found in this work

No references found.

Add more references