13 citations to https://www.mathnet.ru/rus/lncs5
-
Mehrnoosh Sadrzadeh, Lutz Straßburger, Lecture Notes in Computer Science, 14672, Logic, Language, Information, and Computation, 2024, 193
-
Hadi Wazni, Kin Ian Lo, Lachlan McPheat, Mehrnoosh Sadrzadeh, “Large scale structure-aware pronoun resolution using quantum natural language processing”, Quantum Mach. Intell., 6:2 (2024)
-
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
-
С. М. Дудаков, Б. Н. Карлов, С. Л. Кузнецов, Е. М. Фофанова, “Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматиках”, Алгебра и логика, 60:5 (2021), 471–496 ; 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