%0 Journal Article %A A. E. Pentus %A M. R. Pentus %T Complexity of the Lambek calculus with one division and a~negative-polarity modality for weakening %J Fundamentalʹnaâ i prikladnaâ matematika %D 2021 %P 143-162 %V 23 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/FPM_2021_23_4_a8/ %G ru %F FPM_2021_23_4_a8