Amirhossein Akbar Tabatabai, Raheleh Jalali, “Universal proof theory: Semi-analytic rules and Craig interpolation”, Annals of Pure and Applied Logic, 176:1 (2025), 103509
Mehrnoosh Sadrzadeh, Lutz Straßburger, Lecture Notes in Computer Science, 14672, Logic, Language, Information, and Computation, 2024, 193
Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary Action Logic with Multiplexing”, Studia Logica, 111 (2023), 251–280
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
DALE MILLER, “A Survey of the Proof-Theoretic Foundations of Logic Programming”, Theory and Practice of Logic Programming, 22:6 (2022), 859
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 ]
Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with exponentiation”, Ann. Pure Appl. Logic, 173:2 (2022), 103057–33
Bruno Xavier, Carlos Olarte, Elaine Pimentel, “A linear logic framework for multimodal logics”, Math. Struct. Comp. Sci., 32:9 (2022), 1176
M. V. Valinkin, “Versions of a Local Contraction Subexponential in the Lambek Calculus”, Algebra Logic, 61:4 (2022), 271