Amirhossein Akbar Tabatabai, Raheleh Jalali, “Universal proof theory: Semi-analytic rules and Craig interpolation”, Annals of Pure and Applied Logic, 176:1 (2025), 103509
Mikhail Valinkin, Stepan L Kuznetsov, “Relational models for the Lambek calculus with local contraction subexponentials”, Journal of Logic and Computation, 35:4 (2025)
Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, “Reasoning from hypotheses in *-continuous action lattices”, J. Symb. Log., 2025, 1–39
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
Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with exponentiation”, Ann. Pure Appl. Logic, 173:2 (2022), 103057–33