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. Endogenous Heterogeneity in Strategic Models: Symmetry-breaking via Strategic Substitutes and Nonconcavities
2. A Computational Model of Children's Semantic Memory
3. Research Design, as Independent of Methods
4. The name is absent
5. Public Debt Management in Brazil
6. Globalization and the benefits of trade
7. Consciousness, cognition, and the hierarchy of context: extending the global neuronal workspace model
8. The Provisions on Geographical Indications in the TRIPS Agreement
9. Momentum in Australian Stock Returns: An Update
10. Moi individuel et moi cosmique Dans la pensee de Romain Rolland
11. Female Empowerment: Impact of a Commitment Savings Product in the Philippines
12. LAND-USE EVALUATION OF KOCAELI UNIVERSITY MAIN CAMPUS AREA
13. Outsourcing, Complementary Innovations and Growth
14. Measuring Semantic Similarity by Latent Relational Analysis
15. The name is absent
16. A Hybrid Neural Network and Virtual Reality System for Spatial Language Processing
17. The name is absent
18. Managing Human Resources in Higher Education: The Implications of a Diversifying Workforce
19. Migration and Technological Change in Rural Households: Complements or Substitutes?
20. EFFICIENCY LOSS AND TRADABLE PERMITS