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