@article{FPM_2021_23_4_a8, author = {A. E. Pentus and M. R. Pentus}, title = {Complexity of the {Lambek} calculus with one division and a~negative-polarity modality for weakening}, journal = {Fundamentalʹna\^a i prikladna\^a matematika}, pages = {143--162}, publisher = {mathdoc}, volume = {23}, number = {4}, year = {2021}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/FPM_2021_23_4_a8/} }