The Semantics and Proof Theory of Linear Logic

A. Avron

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 ocrresponding strong completeness theorems. Finally, we shall investigate the relation between Linear Logic and previously known systems, especially Relevance logics.

LFCS report ECS-LFCS-87-27

Previous | Index | Next