1. From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory.Hans Kamp & Uwe Reyle - 1993 - Dordrecht: Kluwer Academic Publishers.
    Preface This book is about semantics and logic. More specifically, it is about the semantics and logic of natural language; and, even more specifically than ...
    Direct download (3 more)  
    Export citation  
    Bookmark   457 citations  
  2.  74
    A calculus for first order discourse representation structures.Hans Kamp & Uwe Reyle - 1996 - Journal of Logic, Language and Information 5 (3-4):297-348.
    This paper presents a sound and complete proof system for the first order fragment of Discourse Representation Theory. Since the inferences that human language users draw from the verbal input they receive for the most transcend the capacities of such a system, it can be no more than a basis on which more powerful systems, which are capable of producing those inferences, may then be built. Nevertheless, even within the general setting of first order logic the structure of the formulas (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   10 citations  
  3. Direct deductive computation on discourse representation structures.Uwe Reyle & Dov M. Gabbay - 1994 - Linguistics and Philosophy 17 (4):343 - 390.
    Direct download (4 more)  
    Export citation  
    Bookmark   5 citations  
  4.  84
    Ups and Downs in the theory of temporal reference.Uwe Reyle, Antje Rossdeutscher & Hans Kamp - 2007 - Linguistics and Philosophy 30 (5):565-635.
    This paper proposes a method for computing the temporal aspects of the interpretations of a variety of Germa sentences. The method is strictly modular in the sense that it allows each meaning-bearing sentence constituent to make its own, separate, contribution to the semantic representation of any sentence containing it. The semantic representation of a sentence is reached in several stages. First, an ‘initial semantic representation’ is constructed, using a syntactic analysis of the sentence as input. This initial representation is then (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   4 citations  
  5.  15
    Underspecified Discourse Representation Structures and their Logic.Uwe Reyle - 1995 - Logic Journal of the IGPL 3 (2-3):473-488.
    The paper adresses the problem of reasoning with ambiguities. Semantic representations are presented that leave scope relations between quantifiers and/or other operators unspecified. Truth conditions are provided for these representations and different consequence relations are judged on the basis of intuitive correctness. Finally inference patterns are presented that operate directly on these underspecified structures, i.e. do not rely on any translation into the set of their disambiguations.
    Direct download (2 more)  
    Export citation