James Harland  Home/Search
Context
Related
| rmit.edu.au/~jah/public...iclp94b.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: rmit.edu.au/~jah/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper differs from that of [4], as in this case we are interested in a general NAF connective rather than one restricted to atomic formulae and a particular fragment of intuitionistic logic. The current approach may be considered an update of [5]. (Update)
Active bibliography (related documents): More All
0.3: On Goal-Directed Provability in Classical Logic - Harland (1992) (Correct)
0.3: A General Modal Framework for the Event Calculus and.. - Cervesato, Chittaro, .. (1996) (Correct)
0.2: A Logical Semantics for Depth-First Prolog with Ground Negation - Andrews (1993) (Correct)
Similar documents based on text: More All
0.2: Three disproofs of the Gilbert-Pollak conjecture on Steiner.. - Du, Smith (1994) (Correct)
0.1: On The Rigidity Of Differential Systems Modelled On.. - Takeshi Sasaki Keizo (Correct)
0.1: The Event Calculus as a Linear Logic Program - Alexiev (1995) (Correct)
BibTeX entry: (Update)
@misc{ harland-towards,
author = "James Harland",
title = "Towards a Sequent Calculus for Negation as Failure",
url = "citeseer.ist.psu.edu/352525.html" }
Citations (may not include all citations):759 Negation as Failure (context) - Clark - 1978
340 Uniform Proofs as a Foundation for Logic Programming (context) - Miller, Nadathur et al. - 1991
295 On Closed World Databases (context) - Reiter - 1978
60 Contraction-free Sequent Calculi for Intuitionistic Logic (context) - Dyckhoff - 1992
26 Proof Search in First-order Linear Logic and Other Cutfree S.. - Lincoln, Shankar - 1994
22 Completeness of the Negation as Failure Rule (context) - Jaffar, Lassez et al. - 1983
19 Loop-free Construction of Counter-models for Intuitionistic .. - Pinto, Dyckhoff - 1993
17 On Hereditary Harrop Formulae as a Basis for Logic Programmi.. (context) - Harland - 1991
7 Herbrand Methods in Linear Logic (context) - Cerrito - 1992
7 Proving Unprovability (context) - Tiomkin - 1988
4 Towards a Static Proof System for Negation as Failure (context) - Harland
Documents on the same site (http://www.cs.rmit.edu.au/~jah/pubs.html): More
Structural Properties of Logic Programs - Harland (Correct)
A Kripke-like Model for Negation as Failure - Harland (1989) (Correct)
Some Issues in the Operational Semantics of Logic Programs (or.. - Harland (1995) (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