A Syntax for Linear Logic

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

There is a standard syntax for Girard's linear logic, due to Abramsky, and a standard semantics, due to Seely. Alas, the former is incoherent with the latter: different derivations of the same syntax may be assigned different semantics. This paper reviews the standard syntax and semantics, and discusses the problem that arises and a standard approach to its solution. A new solution is proposed, based on ideas taken from Girard's Logic of Unity. The new syntax is based on pattern matching, allowing for concise expression of programs.
Original languageEnglish
Title of host publicationMathematical Foundations of Programming Semantics
Subtitle of host publication9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings
EditorsStephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
PublisherSpringer-Verlag GmbH
Number of pages17
ISBN (Electronic)978-3-540-48419-6
ISBN (Print)978-3-540-58027-0
Publication statusPublished - 1993

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'A Syntax for Linear Logic'. Together they form a unique fingerprint.

Cite this