%0 Journal Article
%A A. E. Pentus
%A M. R. Pentus
%T Proof nets for the Lambek calculus with one division and a~negative-polarity modality for weakening
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2020
%P 247-257
%V 23
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_2020_23_2_a13/
%G ru
%F FPM_2020_23_2_a13