Review: Jean-Yves Girard, Linear Logic; A. S. Troelstra, Lectures on Linear Logic [Book Review]

Journal of Symbolic Logic 61 (1):336-338 (1996)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,756
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Linear 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. pp. 222--1.
Advances in Linear Logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - Cambridge University Press.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57:161-184.
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.
Between Logic and Quantic: A Tract.Jean-Yves Girard - 2004 - In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. pp. 316--346.
The Conjoinability Relation in Lambek Calculus and Linear Logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.
RASP and ASP as a Fragment of Linear Logic.Stefania Costantini & Andrea Formisano - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):49-74.
Reflections on “Difficult” Embeddings.Andreja Prijatelj - 1995 - Journal of Philosophical Logic 24 (1):71 - 84.
A Modal View of Linear Logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.

Analytics

Added to PP index
2013-11-22

Total views
5 ( #1,099,058 of 2,333,913 )

Recent downloads (6 months)
1 ( #585,936 of 2,333,913 )

How can I increase my downloads?

Downloads

My notes