@misc{indiciae8ea90e22c5b6, title = {Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening}, author = {Anna Pentus and Mati Pentus}, year = {2019}, url = {https://arxiv.org/abs/1912.03739}, note = {Source identifier: 1912.03739} }