3 papers
cs.LO2017
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…
math.LO2017
The Lambek calculus with iteration: two variants
Stepan Kuznetsov
Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration.…
cs.LO2017
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…