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. PROFITABILITY OF ALFALFA HAY STORAGE USING PROBABILITIES: AN EXTENSION APPROACH
2. Subduing High Inflation in Romania. How to Better Monetary and Exchange Rate Mechanisms?
3. Asymmetric transfer of the dynamic motion aftereffect between first- and second-order cues and among different second-order cues
4. Are combination forecasts of S&P 500 volatility statistically superior?
5. Evaluating Consumer Usage of Nutritional Labeling: The Influence of Socio-Economic Characteristics
6. Foreword: Special Issue on Invasive Species
7. The name is absent
8. Female Empowerment: Impact of a Commitment Savings Product in the Philippines
9. Towards a Strategy for Improving Agricultural Inputs Markets in Africa
10. Large-N and Large-T Properties of Panel Data Estimators and the Hausman Test