Alberto Momigliano  Home/Search
Context Related
| cmu.edu/afs/cs/user/mobile/...csl.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: cmu.edu/~twelf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Logical frameworks with a logic programming interpretation such as hereditary Harrop formulae (HHF) [12] cannot express directly negative information, although negation is a useful speci cation tool. Since negationas -failure does not t well in a logical framework, especially one endowed with hypothetical and parametric judgments, we adapt the idea of elimination of negation introduced in [17] for Horn logic to a fragment of higher-order HHF. This entails nding a middle ground between ... (Update)
Context of citations to this paper: More
...answers to negative queries. Our main motivation has been the explicit synthesis of the negation of higher order logic programs [Momigliano 2000a; 2000b] as discussed brie y in Section 9. Lassez and Marriot [1987] proposed the seminal uncover algorithm for computing rst order...
...amomigliano mcs.le. ac.uk This is a detailed version of the main example in the companion paper [1]. Consider the language of the untyped calculus 1 : e : x j x : e j e 1 e 2 A term is linear if every functional sub term uses each of its arguments exactly once: in...
Cited by: More
Elimination of Negation in a Logical Framework - Momigliano (Correct)
A Step-to-Step Example of Negation Elimination in Hereditary.. - Momigliano (Correct)
Higher-Order Pattern Complement and the Strict ...-Calculus - Momigliano, Pfenning (Correct)
Active bibliography (related documents): More All
0.3: Bibliography for An Algebraic Study of Modularity in Logic.. - Pino (1999) (Correct)
0.2: A Logical Semantics For Hypothetical Rulebases With Deletion - Bonner (1997) (Correct)
0.2: Transaction Logic Programming (or, A Logic of Procedural and.. - Bonner, Kifer (1995) (Correct)
Similar documents based on text: More All
0.2: Specifying and Debugging Security Protocols in the hhf Fragment.. - Delzanno (2000) (Correct)
0.2: Higher-Order Pattern Complement and the Strict lambda-Calculus - Momigliano, Pfenning (Correct)
0.2: A Linear Logic Semantics for Object-Oriented, Deductive .. - Bozzano, Delzanno.. (Correct)
Related documents from co-citation: More All
7: A transformational approach to negation in logic programming (context) - Barbuti, Mancarella et al. - 1990
5: Reduction types and intensionality in the lambda-calculus (context) - Wright - 1992
5: A logic programming language with lambda-abstraction - Miller - 1991
BibTeX entry: (Update)
Alberto Momigliano. Elimination of negation in a logical framework. PhD thesis, Carnegie Mellon University, Forthcoming. http://citeseer.ist.psu.edu/306713.html More
@inproceedings{ momigliano00elimination,
author = "Alberto Momigliano",
title = "Elimination of Negation in a Logical Framework",
booktitle = "{CSL}",
pages = "411-426",
year = "2000",
url = "citeseer.ist.psu.edu/306713.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
82 Prolog: An extension of Prolog with hypothetical implication.. (context) - Gabbay - 1985
51 A framework for dening logics (context) - Harper, Honsell et al. - 1993
48 A logic for reasoning with higher-order abstract syntax: An .. (context) - McDowell, Miller - 1997
47 Logical frameworks - Pfenning - 2000
30 A transformational approach to negation in logic programming (context) - Barbuti, Mancarella et al. - 1990
20 Automating the Meta-Theory of Deductive Systems - Sch - 2000
18 Transformational logic program synthesis (context) - Sato, Tamaki - 1984
17 On Hereditary Harrop Formulae as a Basis for Logic Programmi.. (context) - Harland - 1991
12 Elimination of Negation in a Logical Framework - Momigliano - 2000
11 Automated theorem proving in a simple meta-logic for LF - Sch, Pfenning - 1998
7 Explicit representation of terms dened by counter examples (context) - Lassez, Marriot - 1987
5 Hypothetical reasoning with intuitionistic logic - Bonner - 1994
3 The relative complement problem for higher-order patterns - Momigliano, Pfenning - 1999
3 Logic programming and negation (context) - Apt, Bol - 1994
2 Universal quantication by case analysis (context) - Brogi, Mancarella et al. - 1990
2 Negation as failure and embedded implication (context) - Giordano, Olivetti - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~twelf/): More
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (Correct)
The Relative Complement Problem for Higher-Order Patterns - Momigliano, Pfenning (1999) (Correct)
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (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