Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Grammar --- Categorial grammar --- Categoriale grammatica --- Grammaire categorielle --- Grammaire catégorielle --- Grammar, Categorial --- Grammar, Comparative and general --- Grammaire catégorielle

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Anafoor (Taalwetenschap) --- Anaphora (Linguistics) --- Anaphore (Linguistique) --- Government-binding theory (Linguistics) --- Grammaire comparée et générale --- Grammaire générale --- Grammaire générale et comparée --- Grammaire philosophique --- Grammaire universelle --- Grammar [Comparative and general ] --- Liage et gouvernement [Théorie de ] --- Regeer- en bindtheorie (Taalwetenschap) --- Spraakkunst [Vergelijkende en algemene ] --- Grammar, Comparative and general --- Théorie du liage et du gouvernement (Linguistique) --- Anaphore --- Grammar, Comparative and general. --- Anaphora (Linguistics). --- Government-binding theory (Linguistics). --- Grammaire comparée et générale --- Théorie du liage et du gouvernement (Linguistique) --- Computational linguistics. --- Logic. --- Artificial intelligence. --- Computational Linguistics. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- Methodology --- Data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)