Categorial Grammar and Discourse



Categorial Grammar and Discourse

Representation Theory*

Reinhard Muskens

Abstract

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.

1 Introduction

In Van Benthem [1986] it was observed that the Curry-Howard correspon-
dence between proofs and lambda terms can be used to obtain a very elegant
and principled match between Lambek Categorial Grammar and Montague
Semantics. Each proof in the Lambek calculus is matched with a lambda
term in this approach, and Van Benthem shows how this lambda term can
be interpreted as a recipe for obtaining the meaning of the expression that
corresponds to the conclusion of the Lambek proof from the meanings of its
constituent parts.

Usually the semantics that is obtained in this way is an extensional variant
of the semantics given in Montague [1973] (Hendriks [1993] sketches how the
method can be generalized for the full intensional fragment). However, it
is generally acknowledged nowadays that the empirical coverage of classical
Montague Grammar falls short in some important respects. Research in
semantics in the last fifteen years or so has increasingly been concerned with a
set of puzzles for which Montague’s original system does not seem to provide

*From: Proceedings of COLING 94, Kyoto, Japan, 1994, pp. 508-514.

1



More intriguing information

1. Technological progress, organizational change and the size of the Human Resources Department
2. An Interview with Thomas J. Sargent
3. Income Growth and Mobility of Rural Households in Kenya: Role of Education and Historical Patterns in Poverty Reduction
4. The name is absent
5. The name is absent
6. Midwest prospects and the new economy
7. The name is absent
8. A Location Game On Disjoint Circles
9. Update to a program for saving a model fit as a dataset
10. The Mathematical Components of Engineering
11. Testing Hypotheses in an I(2) Model with Applications to the Persistent Long Swings in the Dmk/$ Rate
12. Population ageing, taxation, pensions and health costs, CHERE Working Paper 2007/10
13. Developing vocational practice in the jewelry sector through the incubation of a new ‘project-object’
14. Searching Threshold Inflation for India
15. The name is absent
16. A Note on Productivity Change in European Co-operative Banks: The Luenberger Indicator Approach
17. The name is absent
18. The name is absent
19. Insecure Property Rights and Growth: The Roles of Appropriation Costs, Wealth Effects, and Heterogeneity
20. The name is absent