Introduction to higher order categorical logic
Introduction to higher order categorical logic
Categorial Grammar and Discourse Representation Theory
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
Towards abstract categorial grammars
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Journal of Logic and Computation
Weak familiarity and anaphoric accessibility in dynamic semantics
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
A Higher-Order Theory of Presupposition
Studia Logica
Hi-index | 0.00 |
We present a dynamic semantic theory formalized in higher order logic that synthesizes aspects of de Groote's continuation-based dynamics and Pollard's hyperintensional semantics. In this theory, we rely on an enriched notion of discourse context inspired by the work of Heim and Roberts. We show how to use this enriched context to improve on de Groote's treatment of English definite anaphora by modeling it as presupposition fulfillment.