A calculus for first order discourse representation structures
From MaRDI portal
The authors present a novel, sound and complete natural deduction-style proof system for the first-order fragment of Discourse Representation Theory (DRT). This proof system differs from certain other proof systems for DRT in that it conforms to various inference patterns followed by human interpreters of natural language texts. The system also comes with a score keeping device that helps to identify rule applications in a derivation.
Recommendations
Cites work
- A calculus for first order discourse representation structures
- A natural deduction system for discourse representation theory
- Direct deductive computation on discourse representation structures
- scientific article; zbMATH DE number 1937274 (Why is no real title available?)
- On Tarski's formalization of predicate logic with identity
Cited in
(29)- Game theory and discourse anaphora
- On denying presuppositions
- Anaphoric constraints and dualities in the semantics of nominals
- A natural deduction system for discourse representation theory
- Dynamic bracketing and discourse representation
- 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
- Book review of: Jens Erik Fenstad, Grammar, geometry and brain
- Variable handling and compositionality: comparing DRT and DTS
- Introducing a calculus of effects and handlers for natural language semantics
- Type reconstruction for -DRT applied to pronoun resolution
- Natural language processing, moving from rules to data
- scientific article; zbMATH DE number 28363 (Why is no real title available?)
- Direct deductive computation on discourse representation structures
- Reasoning without believing: on the mechanisation of presuppositions and partiality
- scientific article; zbMATH DE number 1897841 (Why is no real title available?)
- First order expressivist logic
- Dynamic semantics of plurals \(\mathrm{DPL}_{Q}^{\circledast}\)
- 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
- Constructing situations and time
- Exclusively indexical deduction
- A type reduction from proof-conditional to dynamic semantics
- A higher-order theory of presupposition
- The logic and meaning of plurals. I
- Structured anaphora to quantifier domains
This page was built for publication: A calculus for first order discourse representation structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1923839)
