On the Recognizing Power of the Lambek Calculus with Brackets

Makoto Kanazawa

Every language recognized by the Lambek calculus with brackets is context-free. This is shown by combining an observation by Jäger with an entirely straightforward adaptation of th…