Switch to: References

Add citations

You must login to add citations.
  1. Variable Handling and Compositionality: Comparing DRT and DTS.Yukiko Yana, Koji Mineshima & Daisuke Bekki - 2019 - Journal of Logic, Language and Information 28 (2):261-285.
    This paper provides a detailed comparison between discourse representation theory and dependent type semantics, two frameworks for discourse semantics. Although it is often stated that DRT and those frameworks based on dependent types are mutually exchangeable, we argue that they differ with respect to variable handling, more specifically, how substitution and other operations on variables are defined. This manifests itself in two recalcitrant problems posed for DRT; namely, the overwrite problem and the duplication problem. We will see that these problems (...)
    Direct download (2 more)  
    Export citation  
  • Text Structure and Proof Structure.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (3):273-311.
    This paper is concerned with the structure of texts in which aproof is presented. Some parts of such a text are assumptions, otherparts are conclusions. We show how the structural organisation of thetext into assumptions and conclusions helps to check the validity of theproof. Then we go on to use the structural information for theformulation of proof rules, i.e., rules for the (re-)construction ofproof texts. The running example is intuitionistic propositional logicwith connectives , and. We give new proofs of some (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   1 citation  
  • Incremental Dynamics.Jan van Eijck - 2001 - Journal of Logic, Language and Information 10 (3):319-351.
    A new system of dynamic logic is introduced and motivated, witha novel approach to variable binding for incremental interpretation. Thesystem is shown to be equivalent to first order logic and complete.The new logic combines the dynamic binding idea from DynamicPredicate Logic with De Bruijn style variable free indexing. Quantifiersbind the next available variable register; the indexing mechanismguarantees that active registers are never overwritten by newquantifiers actions. Apart from its interest in its own right, theresulting system has certain advantages over Dynamic (...)
    Direct download (6 more)  
    Export citation  
    Bookmark   13 citations  
  • 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  
  • Multiple Negation Processing in Natural Language.Francis Corblin - 1996 - Theoria 62 (3):214-259.
  • Dynamic Bracketing and Discourse Representation.Albert Visser & Kees Vermeulen - 1996 - Notre Dame Journal of Formal Logic 37 (2):321-365.
    In this paper we describe a framework for the construction of entities that can serve as interpretations of arbitrary contiguous chunks of text. An important part of the paper is devoted to describing stacking cells, or the proposed meanings for bracket-structures.
    Direct download (8 more)  
    Export citation  
    Bookmark   7 citations  
  • Discourse Representation Theory.Bart Geurts - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
    Export citation  
    Bookmark   12 citations  
  • New Directions for Proof Theory in Linguistics. ESSLLI 2007 Course Reader.Anna Szabolcsi & Chris Barker - manuscript
  • Model Generation for Discourse Representation Theory.Michael Kohlhase - unknown
    Semantic analysis, – inference on the basis of semantic information and world knowledge – still is largely uncharted territory in dy- (3) namic semantics. It is needed, among other things, for the reconstruction of linguistically unspecified parts of the discourse or for restricting ambiguities introduced by prior analysis processes, i.e.
    Export citation  
    Bookmark   2 citations  
  • Discourse Representation Theory.Jan van Eijck - unknown
    Discourse Representation Theory is a specific name for the work of Hans Kamp in the area of dynamic interpretation of natural language. Also, it has gradually become a generic term for proposals for dynamic interpretation of natural language in the same spirit. These proposals have in common that each new sentence is interpreted in terms of the contribution it makes to an existing piece of interpreted discourse. The interpretation conditions for sentences are given as instructions for updating the representation of (...)
    Export citation  
    Bookmark   4 citations