Foundations and applications of Montague grammar: 8M part 1: philosophy, framework, computer science
Foundations and applications of Montague grammar: 8M part 1: philosophy, framework, computer science
An introduction to mathematical logic and type theory: to truth through proof
An introduction to mathematical logic and type theory: to truth through proof
Hyperintensional dynamic semantics: analyzing definiteness with enriched contexts
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
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 |
In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.