The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
published by Stepan Kuznetsov
in 2020
in Informatics Engineering
and research's language is
English
Download
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