Variable handling and compositionality: comparing DRT and DTS

DOI10.1007/s10849-019-09294-3zbMath1477.03116OpenAlexW2947054285WikidataQ127806659 ScholiaQ127806659MaRDI QIDQ2425327

Yukiko Yana, Daisuke Bekki, Koji Mineshima

Publication date: 26 June 2019

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-019-09294-3

zbMATH Keywords

formal semanticscompositionalitydynamic semanticsdiscourse representation theorylambda-calculusproof-theoretic semanticsdependent type theoryanaphora resolution

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On dependent pronouns and dynamic semantics
• Sequence semantics for dynamic predicate logic
• A model-theoretic reconstruction of type-theoretic semantics for anaphora
• A calculus for first order discourse representation structures
• A Dynamic Categorial Grammar
• Implementing Variable Vectors in a CCG Parser
• Representing Anaphora with Dependent Types
• Dynamic predicate logic
• A type reduction from proof-conditional to dynamic semantics
• Incremental dynamics