The Uniform Proof-theoric Foundation of Linear Logic Programming: Extended Abstract

LFCS, Department of Computer Science, University of Edinburgh (1991)
  Copy   BIBTEX

Abstract

Further difficulties are encountered when we consider the addition of the modality! (of course) to our fragment of linear logic. We provide an elementary quantale semantics for our logic programs and give an appropriate completeness theorem. We consider a translation -- resembling those of Girard -- of the intuitionistic hereditary Harrop formulae and intuitionistic uniform proofs into our framework, and show that certain properties are preserved under this translation. We sketch the design of an interpreter for linear logic programs.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Resolution in Fragments of Classical Linear Logic: (extended Abstract).J. A. Harland & David J. Pym - 1992 - LFCS, Department of Computer Science, University of Edinburgh.
Imperative programs as proofs via game semantics.Martin Churchill, Jim Laird & Guy McCusker - 2013 - Annals of Pure and Applied Logic 164 (11):1038-1078.
Linguistic applications of first order intuitionistic linear logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.
Full intuitionistic linear logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.
Linear Läuchli semantics.R. F. Blute & P. J. Scott - 1996 - Annals of Pure and Applied Logic 77 (2):101-142.
Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract.Joshua S. Hodas & Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.

Analytics

Added to PP
2015-02-03

Downloads
1 (#1,947,463)

6 months
1 (#1,894,012)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

David Pym
University College London

References found in this work

No references found.

Add more references