Resource-Sensitivity, Binding and AnaphoraGeert-Jan M. Kruijff, Richard T. Oehrle Springer Science & Business Media, 30 nov. 2003 - 297 pages Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. As a result of this duality, the categorial framework offers a natural setting in which to study questions of grammatical composition, both empirically and abstractly. There are affinities in this perspective, of course, to basic questions in formal language theory. But the fact that categorial grammars are type in ference systems makes possible intrinsic connections among syntactic types, syntactic type inference, semantic types, and semantic type inference, a con nection less apparent in the standard constructions of formal language theory. Fixing a system of grammatical type inference T, we may explore what gram matical phenomena are compatible with T-and equally, what grammatical phenomena are not. Equally, fixing a class of grammatical phenomena g, we may seek to ascertain what systems of type inference characterize g. This dual perspective is a strong current in the categorial literature, going back to the classical papers of Ajdukiewicz, Bar-Hillel, Curry, and Lambek. |
Autres éditions - Tout afficher
Resource-Sensitivity, Binding and Anaphora Geert-Jan M. Kruijff,Richard T. Oehrle Aperçu limité - 2012 |
Resource-Sensitivity, Binding and Anaphora Geert-Jan M. Kruijff,Richard T. Oehrle Aperçu limité - 2003 |
Resource-Sensitivity, Binding and Anaphora Geert-Jan M. Kruijff,Richard T. Oehrle Aucun aperçu disponible - 2003 |
Expressions et termes fréquents
Abel abstraction Amsterdam analysis anaphora antecedent application approach arc(f argument arrow assignment associated assumptions basic Benthem binder Binding and Anaphora bound Cain blames categorial grammar cb](Patient clause Combinatory Combinatory Categorial Grammar combine complex composition Computation cross-sentential defined dependent derivation discourse Dordrecht dynamic e(et editors Elijah ellipsis example expression formulas function function composition hybrid logic information structure interpretation Jacobson Jäger John Kruijff Lambek Calculus lexical linear Linear Logic linguistic meaning Linguistics and Philosophy male Mary modal logic modal operators Montague Montague Grammar Moortgat Morrill multisets Muskens Natural Deduction nominal nouns np\s occurrence Oehrle operator parasitic gap PhD thesis phrase structure possible predicate premise pronoun proof properties proposal propositions prosodic quantifier relation representation resource resource-sensitivity scope semantic sentence sequent sequent calculus Steedman Stokhof structural rules syntactic type syntax Szabolcsi term theory tion type constructors Type Logical variable verb VP Ellipsis X-term