Płaczek P. Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic. B Sect Log. 2026;54(4):577–605. doi:10.18778/0138-0680.2025.18