DMCA
Relating Categorial Type Logics and CCG through simulation (2000)
| Citations: | 1 - 0 self |
BibTeX
@MISC{Kruijff00relatingcategorial,
author = {Geert-Jan M. Kruijff},
title = {Relating Categorial Type Logics and CCG through simulation},
year = {2000}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The primary focus of this paper is to establish an abstract fragment in \multimodal logical grammar" or Categorial Type Logics (CTL) [25] that simulates Combinatory Categorial Grammar (CCG) [38]. By showing that the simulation is weakly equivalent to the generative power of CCG, we can prove that the abstract fragment is mildly-context sensitive and can be parsed in polynomial time. This is the rst time that such an observation has been established for a non-trivial fragment with generative power signicantly greater than that of the Lambek calculus L. Other potentially interesting observations are that we can, if so desired, give a logical interpretation for CCG (thus countering criticism in e.g. [26]), and that we can establish a more ne-grained cross-linguistic characterization of CCG's combinatory rules based on their formulation in the simulation. Keywords: Categorial Grammar, CCG, CTL, MMLG, mild context-sensitivity 1 Introduction The perceived position of natural language o...
Keyphrases
categorial type logic abstract fragment generative power categorial grammar logical interpretation rst time primary focus ne-grained cross-linguistic characterization polynomial time combinatory rule perceived position non-trivial fragment combinatory categorial grammar lambek calculus multimodal logical grammar interesting observation weakly equivalent natural language
