James Harland, David Pym, Michael Winikoff  Home/Search
Context Related
Links: DBLP | rmit.edu.au/lygon/...astoverview.ps.gz cs.mu.oz.au/~winiko...amastoverview.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: rmit.edu.au/lygon/pap...ABSTRACTS (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: For many given systems of logic, it is possible to identify, via systematic proof-theoretic analyses, a fragment which can be used as a basis for a logic programming language. Such analyses have been applied to linear logic, a logic of resource-consumption, leading to the definition of the linear logic programming language Lygon. It appears that (the basis of) Lygon can be considered to be the largest possible firstorder linear logic programming language derivable in this way. In this paper, we ... (Update)
Context of citations to this paper: More
...elimination is treated, let al.one an equational theory on proofs. The same is true of LinLog [And92] LO [AP91] ACL [KY93] Lygon [HPW96], and LLP [HWTK98] all of which treat logic programming over other fragments of classical or intuitionistic linear logic. Perrier...
...cut elimination is treated, let al.one an equational theory on proofs. The same is true of LinLog [And92] LO [AP91] ACL [KY93] Lygon [HPW96], and LLP [HWTK98] all of which treat logic programming over other fragments of classical or intuitionistic linear logic. Perrier...
Cited by: More
Pi-calculus and LCC, a Space Odyssey - Soliman (2003) (Correct)
lolliCoP -- A Linear Logic Implementation of a - Lean Connection-Method Theorem (Correct)
Ecient Implementation of a Linear Logic Programming Language - Joshua Hodas And (1998) (Correct)
Similar documents (at the sentence level): More
61.5%: Programming in Lygon: an overview - Harland, Pym, Winikoff (1995) (Correct)
41.0%: Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (Correct)
23.8%: Hitch Hiker's Guide to Lygon 0.7 - Winikoff (1996) (Correct)
Active bibliography (related documents): More All
0.4: A Linear Meta-interpreter for the Situation Calculus - White (Correct)
0.4: Agent-Oriented Programming in Linear Logic - Amin (1999) (Correct)
0.2: Implementation and development Issues for the Linear Logic.. - Winikoff, Harland (1995) (Correct)
Similar documents based on text: More All
0.5: Implementing the Linear Logic Programming Language Lygon - Winikoff, Harland (Correct)
0.5: The Event Calculus as a Linear Logic Program - Alexiev (1995) (Correct)
0.4: A Note on the Implementation and Applications of Linear Logic.. - Harland, Pym (1994) (Correct)
Related documents from co-citation: More All
36: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
36: Theoretical Computer Science (context) - Girard - 1987
24: A uniform proof-theoretic investigation of linear logic programming - Harland, Pym - 1994
BibTeX entry: (Update)
J. Harland, D. Pym, and M. Winikoff. Programming in Lygon: An overview, April 1995. http://citeseer.ist.psu.edu/article/harland95programming.html More
@inproceedings{ harland96programming,
author = "James Harland and David Pym and Michael Winikoff",
title = "Programming in {L}ygon: An Overview",
booktitle = "{A}lgebraic {M}ethodology and {S}oftware {T}echnology",
publisher = "Springer-Verlag LNCS 1101",
address = "Munich, Germany",
editor = "M. Wirsing and M. Nivat",
pages = "391--405",
year = "1996",
url = "citeseer.ist.psu.edu/article/harland95programming.html" }
Citations (may not include all citations):340 Uniform Proofs as a Foundation for Logic Programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
257 Logic Programming in a Fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994 ACM DBLP
248 The Semantics of Predicate Logic as a Programming Language (context) - van Emden, Kowalski - 1976 ACM DBLP
242 Linear Logic (context) - Girard - 1987 ACM DBLP
232 Linda in context (context) - Carriero, Gelernter - 1989 ACM DBLP
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991 ACM
175 Nonmonotonic Logic and Temporal Projection (context) - Hanks, MacDermott - 1987
142 Logic Programming with Focusing Proofs in Linear Logic - Andreoli - 1992 DBLP
81 A multiple-conclusion metalogic - Miller - 1994
79 A Uniform Prooftheoretic Investigation of Linear Logic Progr.. - Pym, Harland - 1994
63 Logic Programming in Intuitionistic Linear Logic: Theory (context) - Hodas - 1994
52 The Aditi Deductive Database System - Vaghani, Ramamohanarao et al. - 1994 ACM DBLP
26 Implementing the linear logic programming language Lygon - Winikoff, Harland - 1995 DBLP
22 Wiley and Sons (context) - Kleene - 1968
15 Programming the PTQ Grammar in XSB (context) - Warren - 1994 DBLP
14 Adding Negation-as-Failure to Intuitionistic Logic Programmi.. - Bonner, McCarty - 1990 ACM DBLP
12 Concurrent Logic Programming as Uniform Linear Proofs - Volpe - 1994 ACM DBLP
8 ACL - A Concurrent Linear Logic Programming Paradigm (context) - Kobayash, Yonezawa - 1993
8 A note on the implementation and applications of linear logi.. - Harland, Pym - 1994
4 Some applications of the linear logic programing language Ly.. (context) - Winikoff, Harland - 1996
3 Programming in Lygon: a system demonstration (context) - Harland, Pym et al. DBLP
2 International Workshop on Extensions of Logic Programming (context) - Dung, Programming et al. - 1992
1 subject to alteration (context) - Winikoff, page
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rmit.edu.au/lygon/papers/ABSTRACTS.html): More
Implementation and development Issues for the Linear Logic.. - Winikoff, Harland (1995) (Correct)
Implementing the Linear Logic Programming Language Lygon - Winikoff, Harland (Correct)
Some Applications of the Linear Logic Programming Language Lygon - Winikoff, Harland (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC