?
COMPLEXITY OF LAMBEK CALCULI WITH MODALITIES AND OF TOTAL DERIVABILITY IN GRAMMARS
Algebra and Logic. 2021. Vol. 60. No. 5. P. 308–326.
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Добавлено: 3 июня 2026 г.
Гнетов Ф. А., Конаков В. Д., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162
Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...
Добавлено: 2 июня 2026 г.
Gorbounov Vassily, Kazakov A., Data Analytics and Topology 2025 Vol. 1 No. 1 P. 33–45
Добавлено: 28 мая 2026 г.
Добавлено: 26 мая 2026 г.
Yu.S. Ilyashenko, S. Minkov, I. Shilin, Russian Journal of Mathematical Physics 2026 Vol. 33 No. 1 P. 89–106
Добавлено: 26 мая 2026 г.
Добавлено: 25 мая 2026 г.
Добавлено: 23 мая 2026 г.
Zaikin A., Sviridov I., Sosedka A. и др., Technologies 2026 Vol. 14 No. 2 Article 84
Добавлено: 23 мая 2026 г.
Chertopolokhov V., Mukhamedov A., Bugriy G. и др., IEEE Access 2026 Vol. 14 P. 14369–14392
Добавлено: 22 мая 2026 г.
Селянин Ф. И., Journal of Dynamical and Control Systems 2026 Vol. 32 No. 2 Article 18
Добавлено: 21 мая 2026 г.
Ausubel L., Баранов О. В., Journal of Economic Theory 2026 Vol. 235 Article 106192
Добавлено: 20 мая 2026 г.
Denis Seliutskii, Russian Journal of Mathematical Physics 2025 Vol. 32 No. 2 P. 399–407
Добавлено: 19 мая 2026 г.
Гуревич Е. Я., Сараев И. А., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 19–57
В работе рассматривается класс градиентно-подобных потоков без гетероклинических пересечений, заданных на замкнутых многообразиях размерности четыре. Мы показываем, что для таких потоков проблема полной топологической классификации сводится к комбинаторной задаче различения специальных оснащенных графов, описывающих взаимное расположение инвариантных многообразий и действие потока на блуждающем множестве. А именно, потоки топологически эквивалентны тогда и только тогда, когда их ...
Добавлено: 18 мая 2026 г.
Прасолова О. Д., Павлина С. Ю., Слово.ру: балтийский акцент 2025 Т. 16 № 2 С. 208–233
В фокусе внимания авторов находятся аннотации к кинофильмам, которые рассматриваются как продвигающие тексты, характеризующиеся лаконичностью, семантической плотностью и намеренной недосказанностью, создающей интригу. Исследование выполнено в русле лингвопрагматики, его целью является выявление механизмов создания интенциональной недосказанности в киноаннотациях. Новизна работы предопределяется тем, что тексты кинорекламы впервые рассматриваются с точки зрения способов создания семантической неполноты и ее ...
Добавлено: 9 марта 2026 г.
Stepan L. Kuznetsov, Journal of Logic and Computation 2026 Vol. 36 No. 1 Article exaf078
Добавлено: 14 января 2026 г.
Кузнецов С. Л., Сперанский С. О., 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 г.
Кузнецов С. Л., Сперанский С. О., 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 г.
Оноприенко А. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 № 527 С. 206–216
Мы исследуем кооперативную карточную игру “Ханаби” с точки зрения алгоритмической сложности. Особенность “Ханаби” заключается в том, что игроки видят карты других игроков, но не свои, и об- мениваются информацией путем подсказок. Даже в модели с одним игроком, обладающим полной информацией о колоде, “Ханаби” остается NP-трудной. Найдены минимальные параметры игры, при которых сохраняется NP-трудность. В случае ...
Добавлено: 23 ноября 2025 г.
Skrynnikova I.V., Вестник Волгоградского государственного университета. Серия 2: Языкознание 2025 Vol. 23 No. 5 P. 99–107
Добавлено: 1 августа 2025 г.
Прасолова О. Д., Павлина С. Ю., Слово.ру: балтийский акцент 2025 Т. 16 № 2 С. 208–233
В фокусе внимания авторов находятся аннотации к кинофильмам, которые рассматриваются как продвигающие тексты, характеризующиеся лаконичностью, семантической плотностью и намеренной недосказанностью, создающей интригу. Исследование выполнено в русле лингвопрагматики, его целью является выявление механизмов создания интенциональной недосказанности в киноаннотациях. Новизна работы предопределяется тем, что тексты кинорекламы впервые рассматриваются с точки зрения способов создания семантической неполноты и ее ...
Добавлено: 18 мая 2025 г.
Добавлено: 1 мая 2025 г.