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 (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 11,085
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.

Citations of this work BETA
Glyn Morrill (1990). Intensionality and Boundedness. Linguistics and Philosophy 13 (6):699 - 726.
Arnon Avron (2014). What is Relevance Logic? Annals of Pure and Applied Logic 165 (1):26-48.
Johan Benthem (1991). Language in Action. Journal of Philosophical Logic 20 (3):225 - 263.

View all 9 citations

Similar books and articles
Analytics

Monthly downloads

Added to index

2009-01-28

Total downloads

33 ( #52,678 of 1,101,622 )

Recent downloads (6 months)

1 ( #292,059 of 1,101,622 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.