Muskens, Reinhard (1994) Categorial Grammar and Discourse Representation Theory. [Conference Paper]
Full text available as:
![[img]](/style/images/fileicons/application_pdf.png)
| PDF 128Kb | |
![[img]](/style/images/fileicons/application_postscript.png)
| 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: | 12 Sep 2007 18:01 |
Metadata
- HTML Citation
- ASCII Citation
- EPrints Application Profile (experimental)
- ID Plus Text Citation
- OpenURL ContextObject
- EndNote
- BibTeX
- OpenURL ContextObject in Span
- MODS
- DIDL
- EP3 XML
- Dublin Core
- Reference Manager
- Eprints Application Profile
- Simple Metadata
- Refer
- METS
- Search Data Dump
Repository Staff Only: item control page
