Alberto Momigliano  Home/Search
Context Related
Links: ACM DBLP | cmu.edu/afs/cs/user/mob...thesis.pdf.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/~mobile/inprogress (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We address the issue of endowing a logical framework with a logically justi#ed notion of negation. Logical frameworks with a logic programming interpretation such as hereditary Harrop formulae cannot directly express negative information, although negation is a useful speci#cation tool. Since negation-as-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 from Horn logic to a fragment of ... (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.5: DERIVE: A Tool That Automatically Reverse-Engineers.. - Engler, Hsieh (Correct)
0.2: 33 Examples of Termination - Dershowitz (1995) (Correct)
0.2: Cv - Chatterjee (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: Intuitionistic Implication and Resolution - Hui-Bon-Hoa (Correct)
0.2: A Clausal Form for the Completion of Logic Programs - James Harland Department (1991) (Correct)
0.2: Higher-Order Pattern Complement and the Strict lambda-Calculus - Momigliano, Pfenning (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/momigliano00elimination.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/momigliano00elimination.html" }
Citations (may not include all citations):4 Carnegie Mellon University (context) - Sciences - 1999
2 Salt Lake City (context) - pages - 1984
1 Lecture Notes in Computer Science 494 (context) - NY - 1991
1 Functional Programming Languages and Computer Architecture (context) - FPCA - 1989 ACM
1 Computer Society Press (context) - Programming, San et al. - 1987
1 Revision of the author's doctoral thesis #Fachbereich Philos.. (context) - Lecture, Computer et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~mobile/inprogress.html):
Elimination of Negation in a Logical Framework - Momigliano (2000) (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