Fernando C. N. Pereira  Home/Search
Context Related
| mac.com/fcnpereira/papers/jelia.pdf 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: mac.com/fcnpereira/bib (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (quantifier raising) or complicated denotations for phrases (Cooper storage). These complications are one of the motivations for the development of categorial semantic theories. However, these theories appear to face their own difficulties in accounting for the full range of scoping possibilities in natural language, and... (Update)
Similar documents based on text: More All
0.2: Intuitionistic Implication and Resolution - Hui-Bon-Hoa (Correct)
0.2: Ellipsis and Quantification: A Substitutional Approach - Crouch (1995) (Correct)
0.1: Interactions of Scope and Ellipsis - Shieber (1996) (Correct)
BibTeX entry: (Update)
Fernando C. N. Pereira. Semantic interpretation as higher-order deduction. In Jan van Eijck, editor, Logics in AI: European Workshop JELIA'90, number 478 in Lecture Notes in Artiøcial Intelligence, pages 7896, Amsterdam, Holland, 1991. Springer-Verlag, Berlin, Germany. http://citeseer.ist.psu.edu/pereira91semantic.html More
@inproceedings{ pereira90semantic,
author = "Fernando C. N. Pereira",
title = "Semantic Interpretation as Higher-Order Deduction",
booktitle = "Logics in Artificial Intelligence",
pages = "78--96",
year = "1990",
url = "citeseer.ist.psu.edu/pereira91semantic.html" }
Citations (may not include all citations):434 A framework for defining logics - Harper, Honsell et al. - 1987
251 A logic programming language with lambda abstraction - Miller - 1990
233 The formulae-as-types notion of construction (context) - Howard - 1980
167 Natural Deduction: A Proof-Theoretical Study (context) - Prawitz - 1965
150 Entailment: the Logic of Relevance and Necessity (context) - Anderson, Belnap - 1975
141 Constructive mathematics and computer programming (context) - Martin-Lof - 1982
135 Definite clause grammars for language analysis---a survey of.. (context) - Pereira, Warren - 1980
104 The proper treatment of quantification in ordinary English (context) - Montague - 1974
73 Relevance logic and entailment (context) - Dunn - 1986
54 Specifying and Implementing Theorem Provers in a HigherOrder.. (context) - Felty - 1989
46 Specifying theorem provers in a higher-order logic programmi.. (context) - Felty, Miller - 1988
42 Categorial Investigations: Logical and Linguistic Aspects of.. (context) - Moortgat - 1988
41 An algorithm for generating quantifier scopings - Hobbs, Shieber - 1987
41 Universal grammar (context) - Montague - 1974
40 Boolean Semantics for Natural Language (context) - Keenan, Faltz - 1985
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://homepage.mac.com/fcnpereira/bib.html): More
Deductive Interpretation - Pereira (1991) (Correct)
The Information Bottleneck Method - Tishby, Pereira, Bialek (1999) (Correct)
Similarity-Based Methods For Word-Sense Disambiguation - Dagan, Lee, Pereira (1997) (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