Type-theoretical grammar
Handbook of formal languages, vol. 3
Type-logical semantics
Proof Nets and the Complexity of Processing Center Embedded Constructions
Journal of Logic, Language and Information
Linguistic Applications of First Order Intuitionistic Linear Logic
Journal of Logic, Language and Information
LACL '96 Selected papers from the First International Conference on Logical Aspects of Computational Linguistics
Incremental processing and acceptability
Computational Linguistics
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms
Journal of Logic, Language and Information
Towards abstract categorial grammars
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
Journal of Logic, Language and Information
On two extensions of abstract categorial grammars
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Phonological interpretation into preordered algebras
MOL'07/09 Proceedings of the 10th and 11th Biennial conference on The mathematics of language
Minimalist grammars in the light of logic
Logic and grammar
| Hi-index | 0.00 |
This paper proposes an approach to control extraction in the framework of Abstract Categorial Grammar (ACG). As examples, we consider embedded wh-extraction, multiple wh-extraction and tensed-clauses as scope islands. The approach relies on an extended type system for ACG that introduces dependent types and advocates for a treatment at a rather abstract (tectogrammatical) level. Then we discuss approaches that put control at the object (phenogrammatical) level, using appropriate calculi.