On Resolution in Fragments of Classical Linear Logic: (extended Abstract)

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

Abstract

"We present a proof-theoretic foundation for logic programming in Girard's linear logic. We exploit the permutability properties of two-sided linear sequent calculus to identify appropriate notions of uniform proof, definite formula, goal formula, clause and resolution proof for fragments of linear logic. The analysis of this paper extends earlier work by the present authors to include negative occurrences of [cross] (par) and positive occurences of! (of course!) and? (why not?). These connectives introduce considerable difficulty. We consider briefly some of the issues related to the mechanical implementation of our resolution proofs."

Other Versions

No versions found

Links

PhilArchive



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

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

The Uniform Proof-theoric Foundation of Linear Logic Programming: Extended Abstract.James Harland & David J. Pym - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
Linear logic with fixed resources.Dmitry A. Archangelsky & Mikhail A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):3-28.
On the unity of logic.Jean-Yves Girard - 1993 - Annals of Pure and Applied Logic 59 (3):201-217.
Interpolation in fragments of classical linear logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.
Full intuitionistic linear logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.

Analytics

Added to PP
2015-02-03

Downloads
3 (#1,854,928)

6 months
3 (#1,486,845)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Pym
University College London

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references