TY  - JOUR
AU  - A. E. Pentus
AU  - M. R. Pentus
TI  - Proof nets for the Lambek calculus with one division and a~negative-polarity modality for weakening
JO  - Fundamentalʹnaâ i prikladnaâ matematika
PY  - 2020
SP  - 247
EP  - 257
VL  - 23
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FPM_2020_23_2_a13/
LA  - ru
ID  - FPM_2020_23_2_a13
ER  -