Eliminating the unit constant in the Lambek calculus with brackets
From MaRDI portal
Publication:6294080
Abstract: We present a translation of the Lambek calculus with brackets and the unit constant, , into the Lambek calculus with brackets allowing empty antecedents, but without the unit constant, . Using this translation, we extend previously known results for to : (1) languages generated by categorial grammars based on the Lambek calculus with brackets are context-free (Kanazawa 2017); (2) the polynomial-time algorithm for deciding derivability of bounded depth sequents (Kanovich et al. 2017).
This page was built for publication: Eliminating the unit constant in the Lambek calculus with brackets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6294080)
