Buszkowski W. Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity. B Sect Log [Internet]. 2017 Jun. 30 [cited 2025 Dec. 8];46(1/2):75–91. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/2931