Abstract Glyn Morrill 29 Jan 2018

From IMC wiki
Jump to: navigation, search

In this talk I will try to locate contemporary categorial grammar in the history of logical, formal, computational and mathematical linguistics and I will give a sketch of a book, in preparation with my colleague Oriol Valentín, attempting to describe the state of the art in type logical categorial grammar. The main parts are: a logical foundation in terms of a novel sublinear sequent calculus which we call h-sequent calculus with a phase semantics for proving (semantic) cut-elimination; grammatical applications including discontinuity, the Montague fragment, coordination and relativization; and implementation of a parser/theorem-prover CatLog3 on the basis of Andreoli's focusing and a generalization of van Benthem's multiplicative count invariance including extension to additives and subexponentials.