A calculus for first order discourse representation structures

Related Items

Merging without mystery or: Variables in dynamics semantics ⋮ Directions in generalized quantifier theory ⋮ Language and proof theory. Preface to the special issue on ``Proof theory and natural language ⋮ A calculus for first order discourse representation structures ⋮ Reasoning without believing: on the mechanisation of presuppositions and partiality ⋮ Direct deductive computation on discourse representation structures ⋮ Variable handling and compositionality: comparing DRT and DTS ⋮ Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution ⋮ On denying presuppositions ⋮ Natural Language Processing, Moving from Rules to Data ⋮ First order expressivist logic ⋮ E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora ⋮ The logic of indexicals ⋮ Prior and temporal sequences for natural language ⋮ Dynamic Semantics of Plurals DPL ⋮ A higher-order theory of presupposition ⋮ Structured anaphora to quantifier domains ⋮ Constructing situations and time ⋮ A type reduction from proof-conditional to dynamic semantics ⋮ Book review of: Jens Erik Fenstad, Grammar, geometry and brain ⋮ Anaphoric constraints and dualities in the semantics of nominals ⋮ Game theory and discourse anaphora ⋮ Dynamic bracketing and discourse representation ⋮ Introducing a Calculus of Effects and Handlers for Natural Language Semantics ⋮ The logic and meaning of plurals. I

Cites Work