12 citations to https://www.mathnet.ru/eng/lncs5
-
Mehrnoosh Sadrzadeh, Lutz Straßburger, Lecture Notes in Computer Science, 14672, Logic, Language, Information, and Computation, 2024, 193
-
Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29
-
Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni, Gijs Wijnholds, “Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality”, Compositionality, 5 (2023), 2
-
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
-
M. V. Valinkin, “Versions of a Local Contraction Subexponential in the Lambek Calculus”, Algebra Logic, 61:4 (2022), 271
-
S. M. Dudakov, B. N. Karlov, S. L. Kuznetsov, E. M. Fofanova, “Complexity of Lambek calculi with modalities and of total derivability in grammars”, Algebra and Logic, 60:5 (2021), 308–326
-
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The multiplicative-additive Lambek calculus with subexponential and bracket modalities”, J. Logic Lang. Inf., 30 (2021), 31–88
-
Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Soft subexponentials and multiplexing”, Lecture Notes in Comput. Sci., 12166 (2020), 500–517
-
Stepan L. Kuznetsov, “A $\Pi^0_1$-bounded fragment of infinitary action logic with exponential”, Lecture Notes in Comput. Sci., 12300 (2020), 3–16
-
Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of a Newly Proposed Calculus for CatLog3”, Lecture Notes in Comput. Sci., 11668 (2019), 67–83