Paper: Categorial Grammar And Discourse Representation Theory

ACL ID C94-1083
Title Categorial Grammar And Discourse Representation Theory
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1994
Authors
  • Reinhard Muskens (Institute for Language Technology and Artificial Intelligence (ITK), Tilburg The Netherlands)

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.