Joshua S. Hodas, Dale Miller  Home/Search
Context Related
Links: ACM DBLP | hmc.edu/~hodas/papers/ic94.ps dcs.ed.ac.uk/lfcsr...158_revised.ps.gz cmu.edu/afs/cs/user/fp/www...ic94.ps.gz 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: hmc.edu/~hodas/papers/ (more) From: cmu.edu/afs/cs/user/fp...handouts (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal of the form D oe G from the context (set of formulas) \Gamma leads to an attempt to prove the goal G in the extended context \Gamma [ fDg. Thus during the bottom-up search for a cut-free proof contexts, represented as the left-hand side of intuitionistic sequents, grow as stacks. While such an intuitionistic notion of ... (Update)
Cited by: More
Under consideration for publication in Math. Struct. in .. - Judgmental.. (Correct)
Natural Deduction for Intuitionistic Non-Commutative Linear.. - Polakow, Pfenning (1999) (Correct)
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
Active bibliography (related documents): More All
0.7: Logic Programming in a Fragment of Intuitionistic Linear.. - Hodas, Miller (1991) (Correct)
0.3: Intuitionistic Implication and Resolution - Hui-Bon-Hoa (Correct)
0.2: An Evaluation of Prolog as a Tool for Natural Language Analysis - White (1990) (Correct)
Similar documents based on text: More All
0.5: Ecient Implementation of a Linear Logic Programming Language - Joshua Hodas And (1998) (Correct)
0.4: Forum as a Logic Programming Language: Preliminary Report - Hodas, Polakow (1996) (Correct)
0.4: lolliCoP -- A Linear Logic Implementation of a - Lean Connection-Method Theorem (Correct)
Related documents from co-citation: More All
53: Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
51: Theoretical Computer Science (context) - Girard - 1987
47: Linear Objects: Logical Processes with Built-in Inheritance - Pareschi
BibTeX entry: (Update)
Joshua Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110(2):327--365, 1994. http://citeseer.ist.psu.edu/article/hodas94logic.html More
@incollection{ hodas91logic,
author = "Joshua S. Hodas and Dale Miller",
title = "Logic Programming in a Fragment of Intuitionistic Linear Logic",
booktitle = "Proceedings 6th {IEEE} Annual Symp.\ on Logic in Computer Science, Amsterdam, The Netherlands, 15--18 July 1991",
publisher = "IEEE Computer Society Press",
address = "New York",
pages = "32--42",
year = "1991",
url = "citeseer.ist.psu.edu/article/hodas94logic.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard ACM
419 A Formulation of the Simple Theory of Types (context) - Church - 1940 DBLP
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 - 1991
248 The mathematics of sentence structure (context) - Lambek - 1958
223 Linear Objects: Logical Processes with Built-in Inheritance - Andreoli, Pareschi - 1991 ACM
166 An Overview of Prolog (context) - Nadathur, Miller - 1988
149 A logical analysis of modules in logic programming (context) - Miller
142 Logic Programming with Focusing Proofs in Linear Logic - Andreoli - 1992 DBLP
86 Amalgamating Language and Metalanguage in Logic Programming (context) - Bowen, Kowalski - 1982
82 Prolog: An Extension of Prolog with Hypothetical Implication.. (context) - Gabbay, Reyle - 1984
68 Towards a Geometry of Interaction (context) - Girard
60 Contraction-free sequent calculi for intuitionistic logic (context) - Dyckhoff - 1992 DBLP
55 Clausal Intuitionistic Logic (context) - McCarty - 1988
54 Partial Polymorphic Type Inference and Higher-Order Unificat.. (context) - Pfenning - 1988
53 Lexical Scoping as Universal Quantification - Miller
53 Prolog and Natural-Language Analysis (context) - Pereira, Shieber - 1987 ACM
53 Implementing Tactics and Tacticals in a Higher-Order Logic P.. - Felty - 1993 DBLP
50 Higher-order Horn Clauses - Nadathur, Miller - 1990 ACM DBLP
39 A Proof-Theoretic Approach to Logic Programming (context) - Hallnas, Schroeder-Heister - 1990
38 The Uniform Proof-Theoretic Foundation of Linear Logic Progr.. - Harland, Pym - 1991 DBLP
28 Specifying Filler-Gap Dependency Parsers in a Linear-Logic P.. - Hodas - 1992 DBLP
27 Abstractions in logic programming (context) - Miller - 1990
26 Extending Definite Clause Grammars with Scoping Constructs (context) - Pareschi, Miller - 1990 ACM DBLP
22 the unity of logic (context) - Girard - 1991
20 Abstract Syntax and Logic Programming (context) - Miller - 1992 ACM DBLP
19 A Linear Semantics for Allowed Logic Programs (context) - Cerrito - 1990 DBLP
19 Linearizing Intuitionistic Implication - Lincoln, Scedrov et al. - 1991 DBLP
19 Multicategories Revisited (context) - Lambek - 1987
17 Expressing Database Queries with Intuitionistic Logic - Bonner, McCarty et al. - 1989 DBLP
13 Semantic Interpretation as Higher-Order Deduction - Pereira - 1990 ACM DBLP
13 Definite Clauses for Language Analysis (context) - Pereira, Warren - 1980
11 Isabelle: The Next 700 Theorem Provers (context) - Paulson - 1990
10 A Linear Axiomatization of Negation as Failure (context) - Cerrito - 1992 ACM DBLP
6 Type-driven Natural Language Analysis (context) - Pareschi - 1989 ACM
1 Specifying theorem provers in a higher-order logic programmi.. (context) - Automated, -- et al. - 1988 ACM DBLP
1 Relevant Logic Programming (context) - the, -- - 1991 DBLP
1 Representing Objects in a Logic Programming Language with Sc.. (context) - thesis, Pennsylvania et al. - 1990 ACM
1 Algorithmic Proof with Diminishing Resources (context) - of, Programming et al. - 1991
1 Special issue of papers selected from ICLP (context) - Computing - 1982
1 International Conference in Logic Programming (context) - Warren, Szeredi et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.hmc.edu/~hodas/papers/): More
Representing Objects in a Logic Programming Language with.. - Hodas, Miller (1990) (Correct)
Lolli: An Extension of Lambda-Prolog with Linear Logic Context.. - Hodas (1992) (Correct)
Forum as a Logic Programming Language: Preliminary Report - Hodas, Polakow (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