Cogprints

Categorial Grammar and Discourse Representation Theory

Muskens, Reinhard (1994) Categorial Grammar and Discourse Representation Theory. [Conference Paper]

Full text available as:

[img]
Preview
PDF
128Kb
[img]
Preview
Postscript
175Kb

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.

Item Type:Conference Paper
Keywords:Lambek Categorial Grammar, Discourse Representation Theory, DRT, type theory
Subjects:Linguistics > Computational Linguistics
Linguistics > Semantics
Philosophy > Logic
ID Code:4708
Deposited By: Muskens, Dr Reinhard
Deposited On:21 Jan 2006
Last Modified:11 Mar 2011 08:56

Metadata

Repository Staff Only: item control page