Pages that link to "Item:Q1923839"
From MaRDI portal
The following pages link to A calculus for first order discourse representation structures (Q1923839):
Displaying 25 items.
- First order expressivist logic (Q485622) (← links)
- E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora (Q513921) (← links)
- The logic of indexicals (Q514599) (← links)
- Prior and temporal sequences for natural language (Q516415) (← links)
- Constructing situations and time (Q543532) (← links)
- A higher-order theory of presupposition (Q692197) (← links)
- The logic and meaning of plurals. I (Q812095) (← links)
- Structured anaphora to quantifier domains (Q964496) (← links)
- Game theory and discourse anaphora (Q1006468) (← links)
- On denying presuppositions (Q1708797) (← links)
- Anaphoric constraints and dualities in the semantics of nominals (Q1777369) (← links)
- Dynamic bracketing and discourse representation (Q1815432) (← links)
- Merging without mystery or: Variables in dynamics semantics (Q1896789) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- Language and proof theory. Preface to the special issue on ``Proof theory and natural language'' (Q1923834) (← links)
- A calculus for first order discourse representation structures (Q1923839) (← links)
- Book review of: Jens Erik Fenstad, Grammar, geometry and brain (Q2016073) (← links)
- Variable handling and compositionality: comparing DRT and DTS (Q2425327) (← links)
- Introducing a Calculus of Effects and Handlers for Natural Language Semantics (Q2835059) (← links)
- Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution (Q2964002) (← links)
- Natural Language Processing, Moving from Rules to Data (Q2988808) (← links)
- Direct deductive computation on discourse representation structures (Q4312345) (← links)
- Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173) (← links)
- Dynamic Semantics of Plurals DPL (Q4916214) (← links)
- A type reduction from proof-conditional to dynamic semantics (Q5935790) (← links)
