Showing 2017 · cs.LOShow all
2 papers · 2 filters
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…
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…