Michael Moortgat, Konstantinos Kogkalidis, Gijs Wijnholds, Studies in Computational Intelligence, 1081, Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021), 2023, 57
Daniel Rogozin, “Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic”, Electron. Proc. Theor. Comput. Sci., 381 (2023), 60
Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29
Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov, “Non-associative, Non-commutative Multi-modal Linear Logic”, Lecture Notes in Comput. Sci., 13385 (2022), 449–467
Max. I. Kanovich, Stepan G. Kuznetsov, Stepan L. Kuznetsov, Andre Scedrov, “Decidable fragments of calculi used in CatLog”, Stud. Comput. Intell., 999 (2022), 1–24 [Max. I. Kanovich, Stepan G. Kuznetsov, Stepan L. Kuznetsov, Andre Scedrov, “Decidable fragments of calculi used in CatLog”, Stud. Comput. Intell., 999 (2022), 1–24 ]