4 papers · 1 filter
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
Max Kanovich, Stepan Kuznetsov, Andre Scedrov
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 recent…
Action Logic is Undecidable
Stepan Kuznetsov
Action logic is the algebraic logic (inequational theory) of residuated Kleene lattices. This logic involves Kleene star, axiomatized by an induction scheme. For a stronger system…
Eliminating the unit constant in the Lambek calculus with brackets
Stepan Kuznetsov
We present a translation of the Lambek calculus with brackets and the unit constant, , into the Lambek calculus with brackets allowing em…
A polynomial time algorithm for the Lambek calculus with brackets of bounded order
Max Kanovich, Stepan Kuznetsov, Glyn Morrill +1
Lambek calculus is a logical foundation of categorial grammar, a linguistic paradigm of grammar as logic and parsing as deduction. Pentus (2010) gave a polynomial-time algorithm fo…