The complexity of multiplicative-additive Lambek calculus: 25 years later

We introduce infinitary action logic with exponentiation — that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allow some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case ...

Добавлено: 26 декабря 2025 г.

Infinitary action logic with multiplexing

Кузнецов С. Л., Сперанский С. О., Studia Logica 2023 Vol. 111 No. 2 P. 251–280

Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility ...

Добавлено: 26 декабря 2025 г.

Craig's trick and a non-sequential system for the Lambek calculus and its fragments

Кузнецов С. Л., Lugovaya V., Рыжова А. А., Logic Journal of the IGPL 2019 Vol. 27 No. 3 P. 252–266

Добавлено: 1 мая 2025 г.

Syntactic concept lattice models for infinitary action logic

Stepan L. Kuznetsov, , in: Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, ProceedingsVol. 14672: Lecture Notes in Computer Science.: Cham: Springer, 2024. P. 93–107.

Добавлено: 12 июня 2024 г.

Making first order linear logic a generating grammar

Sergey Slavnov, Logical Methods in Computer Science 2023 Vol. 19 No. 4

Добавлено: 20 декабря 2023 г.

COMPLEXITY OF LAMBEK CALCULI WITH MODALITIES AND OF TOTAL DERIVABILITY IN GRAMMARS

S. M. Dudakov, Karlov B. N., S. L. Kuznetsov и др., Algebra and Logic 2021 Vol. 60 No. 5 P. 308–326

Добавлено: 12 ноября 2023 г.

Decidable Fragments of Calculi Used in CatLog

Канович М. И., Kuznetsov Stepan G., Кузнецов С. Л. и др., Studies in Computational Intelligence 2021 Vol. 999 P. 1–24

Добавлено: 14 декабря 2021 г.

Language models for some extensions of the Lambek calculus

Канович М. И., Кузнецов С. Л., Щедров А., Information and Computation 2022 Vol. 287 Article 104760

Добавлено: 4 декабря 2021 г.

On embedding Lambek calculus into commutative categorial grammars

Славнов С. А., Journal of Logic and Computation 2022 Vol. 32 No. 3 P. 479–517

Добавлено: 21 октября 2021 г.

The multiplicative-additive Lambek calculus with subexponential and bracket modalities

Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic, Language and Information 2021 Vol. 30 No. 1 P. 31–88

Добавлено: 25 ноября 2020 г.

A \(\Pi^0_1\)-bounded fragment of infinitary action logic with exponential

Кузнецов С. Л., , in: Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th BirthdayIssue 12300.: Cham: Springer, 2020. P. 3–16.

Добавлено: 25 ноября 2020 г.

Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities

Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239–256

Добавлено: 1 июля 2020 г.

L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit

Канович М. И., Кузнецов С. Л., Щедров А., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 373–391.

Добавлено: 4 сентября 2019 г.

A Logical Framework with Commutative and Non-commutative Subexponentials

Канович М. И., Кузнецов С. Л., Nigam V. и др., , in: 9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONINGIssue 10900.: Springer International Publishing AG, part of Springer Nature 2018, 2018. P. 228–245.

Добавлено: 11 июля 2018 г.

A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order

Канович М. И., Кузнецов С. Л., Morrill G. и др., , in: Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017).: [б.и.], 2017. P. 22:1–22:17.

Добавлено: 15 сентября 2017 г.

Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities

Канович М. И., Щедров А., Кузнецов С. Л., , in: 21st International Symposium, Fundamentals of Computation Theory 2017, FCT 2017.: Springer, 2017. P. 326–340.

Добавлено: 14 сентября 2017 г.

Trivalent logics arising from L-models for the Lambek calculus with constants

S. L. Kuznetsov, Journal of Applied Non-Classical Logics 2014 Vol. 14 No. 1-2 P. 132–137

Добавлено: 23 октября 2016 г.

On Lambek’s Restriction in the Presence of Exponential Modalities

Канович М. И., Kuznetsov S., Щедров А., , in: Symposium on Logical Foundations of Computer Science (LFCS 2016)Vol. 9537: Logical Foundations of Computer Science.: Springer, 2016. P. 146–158.

Добавлено: 28 июня 2016 г.

Product-Free Lambek Calculus Is NP-Complete

Саватеев Ю. В., Annals of Pure and Applied Logic 2012 Vol. 163 P. 775–788

Добавлено: 20 октября 2014 г.

Применение сетей доказательств для исследования фрагментов исчисления Ламбека

Саватеев Ю. В., Известия РАН. Серия математическая 2011 Т. 75 № 3 С. 189–222

С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты. ...

Добавлено: 20 октября 2014 г.