Stepan L. Kuznetsov, “Syntactic concept lattice models for infinitary action logic”, Lecture Notes in Comput. Sci., 14672 (2024), 93–107
Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Language models for some extensions of the Lambek calculus”, Inform. and Comput., 287 (2022), 104760
Wojciech Buszkowski, Studies in Computational Intelligence, 939, Natural Language Processing in Artificial Intelligence—NLPinAI 2020, 2021, 1
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit”, Lecture Notes in Comput. Sci., 11541 (2019), 373–391