The semantics and proof theory of linear logic

Research output: Contribution to journalArticlepeer-review

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 [9]. 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 Strong completeness theorems. Finally, we shall investigate the relation between Linear Logic and previously known systems, especially Relevance Logics.

Original languageEnglish
Pages (from-to)161-184
Number of pages24
JournalTheoretical Computer Science
Volume57
Issue number2-3
DOIs
StatePublished - May 1988
Externally publishedYes

Fingerprint

Dive into the research topics of 'The semantics and proof theory of linear logic'. Together they form a unique fingerprint.

Cite this