Categorial Grammar and Formal Semantics
Michael Moortgat · Encyclopedia of Cognitive Science · 2005
Abstract Categorial grammar is a lexicalized grammar formalism based on logical type theory. A categorial lexicon assigns one or more types to the atomic elements of a language; the assembly of form and meaning is accounted for in terms of the rules of inference for these types, seen as formulae of a grammar logic. Cross‐linguistic variation results from extending the invariant core of the grammar logic with facilities for structural reasoning.