Categorial Grammar And Discourse Representation Theory

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.

• Type: Conference
• Year: 1994
• Where: COLING
• Authors: Reinhard Muskens
• Keywords: COLING 1994, COLING 2008, Curry-Howard-Van Benthem Correspondence, Discourse Representation Structure, Lambek Categorial Grammar