Linear logic

&
Stanford Encyclopedia of Philosophy (web)
  Copy   BIBTEX

Abstract

, from Stanford Encyclopaedia of Philosophy.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
Linear logic automata.Max I. Kanovich - 1996 - Annals of Pure and Applied Logic 78 (1-3):147-188.
Overview of linear logic programming.Dale Miller - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--119.
Temporalizing linear logic.Norihiro Kamide - 2007 - Bulletin of the Section of Logic 36 (3/4):173-182.
Linear Logic and Applications.Valeria De Paiva, Josef Van Genabith, Eike Ritter & Richard Crouch - 1999 - :1–21.
On NP-completeness in Linear Logic.Alexey P. Kopylov - 1995 - Annals of Pure and Applied Logic 75 (1-2):137-152.
Equality in linear logic.Marcelo E. Coniglio & Francisco Miraglia - 1996 - Logique Et Analyse 39 (153-154):113-151.
Linear logic : A survey.J.-Y. Girard - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
Lectures on Linear Logic.Anne Sjerp Troelstra - 1992 - Center for the Study of Language and Information Publications.
Advances in linear logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - New York, NY, USA: Cambridge University Press.

Analytics

Added to PP
2009-01-28

Downloads
22 (#732,694)

6 months
9 (#355,594)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logic talk.Alexander W. Kocurek - 2021 - Synthese 199 (5-6):13661-13688.
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.

Add more citations

References found in this work

Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Quantales and (noncommutative) linear logic.David N. Yetter - 1990 - Journal of Symbolic Logic 55 (1):41-64.

View all 17 references / Add more references