Introduction to higher order categorical logic
Introduction to higher order categorical logic
Towards abstract categorial grammars
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Journal of Logic and Computation
Hi-index | 0.00 |
Oehrle (1994) introduced a categorial grammar architecture in which word order is represented using the terms of a typed λ-calculus and the syntactic type system is based on linear logic. In this paper, we use a variant of this architecture to analyze interrogatives in English and Chinese. We show that separating word order (phenogrammar) and syntactic combinatorics (tectogrammar) in this way brings out the underlying similarities between different question-forming strategies. In particular, the difference between wh extraction (overt movement) and wh in situ (covert movement) turns out to be purely phenogrammatical.