The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities


Abstract in English

We give a proof-theoretic and algorithmic complexity analysis for systems introduced by Morrill to serve as the core of the CatLog categorial grammar parser. We consider two rece

Download