A calculus for first order discourse representation structures
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1937274 (Why is no real title available?)
- A calculus for first order discourse representation structures
- A natural deduction system for discourse representation theory
- Direct deductive computation on discourse representation structures
- On Tarski's formalization of predicate logic with identity
Cited in
(28)- Game theory and discourse anaphora
- Reasoning without believing: on the mechanisation of presuppositions and partiality
- Language and proof theory. Preface to the special issue on ``Proof theory and natural language
- A natural deduction system for discourse representation theory
- Anaphoric constraints and dualities in the semantics of nominals
- Variable handling and compositionality: comparing DRT and DTS
- The logic and meaning of plurals. I
- Directions in generalized quantifier theory
- A calculus for first order discourse representation structures
- Constructing situations and time
- A type reduction from proof-conditional to dynamic semantics
- Dynamic bracketing and discourse representation
- Direct deductive computation on discourse representation structures
- Natural language processing, moving from rules to data
- scientific article; zbMATH DE number 1897841 (Why is no real title available?)
- On denying presuppositions
- Exclusively indexical deduction
- A higher-order theory of presupposition
- 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
- Book review of: Jens Erik Fenstad, Grammar, geometry and brain
- Structured anaphora to quantifier domains
- Type reconstruction for \(\lambda\)-DRT applied to pronoun resolution
- Introducing a calculus of effects and handlers for natural language semantics
- Dynamic semantics of plurals \(\mathrm{DPL}_{Q}^{\circledast}\)
- Merging without mystery or: Variables in dynamics semantics
- First order expressivist logic
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)
