Płaczek, P. (2026) “Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic”, Bulletin of the Section of Logic, 54(4), pp. 577–605. doi:10.18778/0138-0680.2025.18.