Book | Chapter
Dependent types for pragmatics
pp. 123-139
Abstract
In this paper, we present an extension to Martin-Löf's Intuitionistic Type Theory which gives natural solutions to problems in pragmatics, such as pronominal reference and presupposition. Our approach also gives a simple account of donkey anaphora without resorting to exotic scope extension of the sort used in Discourse Representation Theory and Dynamic Semantics, thanks to the proof-relevant nature of type theory.
Publication details
Published in:
Redmond Juan, Martins Olga Pombo, Fernández Ángel Nepomuceno (2016) Epistemology, knowledge and the impact of interaction. Dordrecht, Springer.
Pages: 123-139
Full citation:
McAdams Darryl, Sterling Jonathan (2016) „Dependent types for pragmatics“, In: J. Redmond, O. Martins & Á. Fernández (eds.), Epistemology, knowledge and the impact of interaction, Dordrecht, Springer, 123–139.