Switch to: Citations

Add references

You must login to add references.
  1. Events in the Semantics of English: A Study in Subatomic Semantics.Terence Parsons - 1990 - MIT Press.
    This extended investigation of the semantics of event (and state) sentences in their various forms is a major contribution to the semantics of natural language, simultaneously encompassing important issues in linguistics, philosophy, and logic. It develops the view that the logical forms of simple English sentences typically contain quantification over events or states and shows how this view can account for a wide variety of semantic phenomena. Focusing on the structure of meaning in English sentences at a &"subatomic&" level&-that is, (...)
    Download  
     
    Export citation  
     
    Bookmark   297 citations  
  • The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
    Download  
     
    Export citation  
     
    Bookmark   488 citations  
  • From etymology to pragmatics: metaphorical and cultural aspects of semantic structure.Eve Sweetser - 1990 - New York: Cambridge University Press.
    This book offers a new approach to the analysis of the multiple meanings of English modals, conjunctions, conditionals, and perception verbs. Although such ambiguities cannot easily be accounted for by feature-analyses of word meaning, Eve Sweetser's argument shows that they can be analyzed both readily and systematically. Meaning relationships in general cannot be understood independently of human cognitive structure, including the metaphorical and cultural aspects of that structure. Sweetser shows that both lexical polysemy and pragmatic ambiguity are shaped by our (...)
    Download  
     
    Export citation  
     
    Bookmark   128 citations  
  • Lexical semantics.D. A. Cruse - 1986 - New York: Cambridge University Press.
    Lexical Semantics is about the meaning of words. Although obviously a central concern of linguistics, the semantic behaviour of words has been unduly neglected in the current literature, which has tended to emphasize sentential semantics and its relation to formal systems of logic. In this textbook D. A. Cruse establishes in a principled and disciplined way the descriptive and generalizable facts about lexical relations that any formal theory of semantics will have to encompass. Among the topics covered in depth are (...)
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • Computers and Intractability. A Guide to the Theory of NP-Completeness.Michael R. Garey & David S. Johnson - 1983 - Journal of Symbolic Logic 48 (2):498-500.
    Download  
     
    Export citation  
     
    Bookmark   224 citations  
  • Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Generalized Phrase Structure Grammar.Gerald Gazdar, Ewan Klein, Geoffrey Pullum & Ivan Sag - 1989 - Philosophical Review 98 (4):556-566.
    Download  
     
    Export citation  
     
    Bookmark   112 citations  
  • Generalized Phrase Structure Grammar.G. Gazdar, E. Klein, G. Pullum & I. Sag - 1987 - Linguistics and Philosophy 10 (3):389-426.
    Download  
     
    Export citation  
     
    Bookmark   89 citations  
  • A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   659 citations  
  • The Generative Lexicon.James Pustejovsky - 1995 - MIT Press.
    The Generative Lexicon presents a novel and exciting theory of lexical semantics that addresses the problem of the "multiplicity of word meaning" - that is, how ...
    Download  
     
    Export citation  
     
    Bookmark   204 citations  
  • Ellipsis and higher-order unification.Mary Dalrymple, Stuart M. Shieber & Fernando C. N. Pereira - 1991 - Linguistics and Philosophy 14 (4):399 - 452.
    We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, although the (...)
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Temporal interpretation, discourse relations and commonsense entailment.Alex Lascarides & Nicholas Asher - 1993 - Linguistics and Philosophy 16 (5):437 - 493.
    This paper presents a formal account of how to determine the discourse relations between propositions introduced in a text, and the relations between the events they describe. The distinct natural interpretations of texts with similar syntax are explained in terms of defeasible rules. These characterise the effects of causal knowledge and knowledge of language use on interpretation. Patterns of defeasible entailment that are supported by the logic in which the theory is expressed are shown to underly temporal interpretation.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • An approach to default reasoning based on a first-order conditional logic: Revised report.James P. Delgrande - 1988 - Artificial Intelligence 36 (1):63-90.
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Systems of paraconsistent logic.Graham Priest & Richard Routley - 1989 - In Graham Priest, Richard Routley & Jean Norman, Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 142--155.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein, Modern Uses of Multiple-Valued Logic. D. Reidel.
    Download  
     
    Export citation  
     
    Bookmark   292 citations  
  • Constraints, Channels and the Flow of Information.Jon Barwise - 1993 - In Peter Aczel, David Israel, Yosuhiro Katagiri & Stanley Peters, Situation Theory and its Applications Vol. CSLI Publications. pp. 3-27.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Kleene's logic, generalized.Melvin Fitting - unknown
    Kleene’s well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties. These logics are produced by an intuitively natural construction. The resulting logics have direct relationships with bilattices. In addition they possess mathematical features that lend themselves well to semantical constructions based on fixpoint procedures, as in logic programming.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • An Introduction to Unification-Based Approaches to Grammar.Stuart M. Shieber - 1987 - Journal of Symbolic Logic 52 (4):1052-1054.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Cumulative default logic.Gerhard Brewka - 1991 - Artificial Intelligence 50 (2):183-205.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Attribute-Value Logic and the Theory of Grammar.Mark Johnson - 1989 - Center for the Study of Language and Information Publications.
    Because of the ease of their implementation, attribute-value based theories of grammar are becoming increasingly popular in theoretical linguistics as an alternative to transformational accounts and in computational linguistics. This book provides a formal analysis of attribute-value structures, their use in a theory of grammar and the representation of grammatical relations in such theories of grammar. It provides a classical treatment of disjunction and negation, and explores the linguistic implications of different representations of grammatical relations. Mark Johnson is assistant professor (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Anaphora and Quantification in Situation Semantics.Jean Mark Gawron & Stanley Peters - 1990 - Cambridge University Press.
    A principal goal of this book is to develop and apply the Situation Semantics framework. Jean Mark Gawron and Stanley Peters adopt a version of the theory in which meanings are built up via syntactically driven semantic composition rules. They provide a substantial treatment of English incorporating treatments of pronomial anaphora, quantification, donkey anaphora, and tense. The book focuses on the semantics of pronomial anaphora and quantification. The authors argue that the ambiguities of sentences with pronouns cannot be adequately accounted (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The rights and wrongs of natural regularity.Jon Barwise & Jerry Seligman - 1994 - Philosophical Perspectives 8:331-364.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Negation As Refutation.Melvin Fitting - unknown
    A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized. The four-valued logic is a well-known one, due to Belnap, and is the simplest example of Ginsberg’s bilattice notion. An efficient implementation based on semantic tableaux is sketched; it reduces to SLD resolution when negations are not involved. The resulting system (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The logic of unification in grammar.Robert T. Kasper & William C. Rounds - 1990 - Linguistics and Philosophy 13 (1):35 - 58.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Evidential bilattice logic and lexical inference.Andreas Schöter - 1996 - Journal of Logic, Language and Information 5 (1):65-105.
    This paper presents an information-based logic that is applied to the analysis of entailment, implicature and presupposition in natural language. The logic is very fine-grained and is able to make distinctions that are outside the scope of classical logic. It is independently motivated by certain properties of natural human reasoning, namely partiality, paraconsistency, relevance, and defeasibility: once these are accounted for, the data on implicature and presupposition comes quite naturally.The logic is based on the family of semantic spaces known as (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Lexical knowledge representation and natural language processing.James Pustejovsky & Branimir Boguraev - 1993 - Artificial Intelligence 63 (1-2):193-223.
    Download  
     
    Export citation  
     
    Bookmark   7 citations