The Semantics and Proof Theory of Linear Logic
| Abstract | Linear logic is a new logic which was recently developed by Girard in order to provide a logical basis for the study of parallelism. It is described and investigated in Gi]. Girard's presentation of his logic is not so standard. In this paper we shall provide more standard proof systems and semantics. We shall also extend part of Girard's results by investigating the consequence relations associated with Linear Logic and by proving corresponding str ong completeness theorems. Finally, we shall investigate the relation between Linear Logic and previously known systems, especially Relevance logics | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links | This entry has no external links. Add one. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesMati Pentus (1994). The Conjoinability Relation in Lambek Calculus and Linear Logic. Journal of Logic, Language and Information 3 (2):121-140.
Samson Abramsky & Radha Jagadeesan (1994). Games and Full Completeness for Multiplicative Linear Logic. Journal of Symbolic Logic 59 (2):543-574.
Paulo Oliva (2008). An Analysis of Gödel's Dialectica Interpretation Via Linear Logic. Dialectica 62 (2):269–290.
Daniele Porello (2012). Incompatibility Semantics From Agreement. Philosophia 40 (1):99-119.
Thomas Ehrhard (ed.) (2004). Linear Logic in Computer Science. Cambridge University Press.
Thomas Ehrhard (2004). A Completeness Theorem for Symmetric Product Phase Spaces. Journal of Symbolic Logic 69 (2):340 - 370.
David Albrecht, Frank A. Bäuerle, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223 - 235.
Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) (1995). Advances in Linear Logic. Cambridge University Press.
Frank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223-235.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads33 ( #36,617 of 549,198 )Recent downloads (6 months)1 ( #63,397 of 549,198 )How can I increase my downloads? |
My notes
Discussion
