On the Recognizing Power of the Lambek Calculus with Brackets

Autor:	Kanazawa, Makoto
Rok vydání:	2017
Předmět:	Mathematics - Logic Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	Every language recognized by the Lambek calculus with brackets is context-free. This is shown by combining an observation by J\"ager with an entirely straightforward adaptation of the method Pentus used for the original Lambek calculus. The case of the variant of the calculus allowing sequents with empty antecedents is slightly more complicated, requiring a restricted use of the multiplicative unit. Comment: minor revisions
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1709.07695 Zobrazit plný text záznamu View this record from Arxiv