Categorial Grammar and Formal Semantics

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. Keywords: categories; types; processing; parsing; deduction