1. J. Lambek, “The mathematics of sentence structure,” Am. Math. Month., 65, No. 3, 154–170 (1958).
2. A. E. Pentus and M. R. Pentus, “The atomic theory of left division of two-sided ideals of semirings with unit,” Fund. Prikl. Mat., 17, No. 5, 129–146 (2011/2012).
3. A. E. Pentus and M. R. Pentus, “Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening,” Fund. Prikl. Mat., 23, No. 2, 247–257 (2020).
4. Y. Savateev, “Recognition of derivability for the Lambek calculus with one division,” Moscow Univ. Math. Bull., 64, No. 2, 73–75 (2009).
5. Y. Savateev, “An application of proof-nets to the study of fragments of the Lambek calculus,” Izv. Math., 75, No. 3, 631–663 (2011).