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

M. Kanovich; S. Kuznetsov; Morrill G.; A. Scedrov

doi:10.4230/LIPIcs.FSCD.2017.22

Публикации

?

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

P. 22:1–22:17.

Канович М. И., Кузнецов С. Л., Morrill G., Щедров А.

Язык: английский

Полный текст

DOI

Ключевые слова: polynomial algorithm categorial grammar Lambek calculus Proof nets Lambek calculus with brackets

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:

Хорошо интерпретируемые методы интеллектуального анализа семантически насыщенных данных и их приложения (2017)

В книге

Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017

Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). , [б.и.], 2017.

On syntactic concept lattice models for the Lambek calculus and infinitary action logic

Stepan L. Kuznetsov, Journal of Logic and Computation 2026 Vol. 36 No. 1 Article exaf078

Добавлено: 14 января 2026 г.

Infinitary action logic with exponentiation

Кузнецов С. Л., Сперанский С. О., Annals of Pure and Applied Logic 2022 Vol. 173 No. 2 Article 103057

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 г.

Cobordisms and Commutative Categorial Grammars

Sergey Slavnov, Journal of Cognitive Science 2021 Vol. 22 No. 2 P. 68–91

Добавлено: 2 октября 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 г.

Undecidability of a newly proposed calculus for CatLog3

Канович М. И., Кузнецов С. Л., Щедров А., , in: Formal Grammar 2019, 24th International ConferenceVol. 11668.: Berlin: Springer, 2019. P. 67–83.

Добавлено: 15 октября 2019 г.

A polynomial-time algorithm for computing a Pareto optimal and almost proportional allocation

Aziz H., Мулен Э. Ж., Сандомирский Ф. А., / Series arXiv "Computer Science and Game Theory (cs.GT), arXiv:1909.00740". 2019.

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

Fair Division with Minimal Sharing

Сандомирский Ф. А., Segal-Halevi E., / Series arXiv "Computer Science and Game Theory (cs.GT), arXiv:1908.01669". 2019.

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

Algorithms for Competitive Division of Chores

Branzei S., Сандомирский Ф. А., / Series arxiv "Computer Science and Game Theory (cs.GT), arXiv:1907.01766". 2019.

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

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

Канович М. И., Кузнецов С. Л., Щедров А., , 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. 356–372.

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

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

Добавлено: 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 г.