?
On embedding Lambek calculus into commutative categorial grammars
Journal of Logic and Computation. 2022. Vol. 32. No. 3. P. 479–517.
Язык:
английский
Максаев А. М., Промыслов В. В., Тишутин П. С., Записки научных семинаров ПОМИ РАН 2026 Т. 554 С. 218–235
Пусть K — алгебраически замкнутое поле, а ℰₖ — множество n × n матриц над K, имеющих ровно k различных собственных значений. Ранее классификация линейных отображений T: Mₙ(K) → Mₙ(K), удовлетворяющих условию T(ℰₙ) ⊆ ℰₙ, была получена для обратимых отображений над полем характеристики 0. В данной работе эта классификация распространяется на произвольные, в том числе ...
Добавлено: 11 ноября 2026 г.
Баринова М. К., Tirskaya Karina, Владикавказский математический журнал 2026 Vol. 28 No. 3 P. 25–43
В работе исследуется проблема существования энергетической функции для дискретных динамических систем, заданных структурно устойчивыми диффеоморфизмами на гладких, компактных, ориентируемых поверхностях без края. Для рассматриваемого класса такая функция определяется как непрерывная функция, убывающая вдоль орбит системы вне неблуждающего множества и постоянная на неблуждающих орбитах. На данный момент известно, что если неблуждающее множество структурно устойчивого диффеоморфизма поверхности ...
Добавлено: 11 ноября 2026 г.
Минов С. В., Bible and Christian Antiquity: English Supplement 2026 Vol. 8 No. 1 P. 15–59
Добавлено: 10 ноября 2026 г.
Минов С. В., Scrinium: Journal of Patrology and Critical Hagiography 2026 Vol. 22 P. 145–193
Добавлено: 10 ноября 2026 г.
Илларионов А. А., Математический сборник 2026 Т. 217 № 11 С. 56–87
Пусть $b(\alpha;T)$ --- количество наилучших совместных диофантовых приближений с общим знаменателем $\le T$ к точке $\alpha \in {\Bbb R}^n$.
Мы выводим асимптотические формулы для среднего значения этой величины (усреднение проводится по всем рациональным точкам вида $\alpha = (k_1/N,\ldots, k_n/N)$, $N\le R$), а также для ее математического ожидания
при условии, что $\alpha$ равномерно распределена на кубе $[0,1)^n$. ...
Добавлено: 10 ноября 2026 г.
Павел Успенский, Новый мир 2026 № 10 С. 203–216
В статье рассматриваются некоторые стихи Николая Гумилева, над которыми автор статьи размышлял с Константином Поливановым. В центре внимания такие тексты, как "Умный дьявол", "Современность", "Отрывок", "Жираф" и другие. В статье анализируются основные черты поэтики этих текстов. ...
Добавлено: 10 ноября 2026 г.
Верещагин Н. К., Математический сборник 2026 Т. 217 № 10 С. 3–46
Теорема Гудмана-Штрауса утверждает, что для “почти всякой” подстановки семейство подстановочных замощений софично, т.е. может быть задано локальными правилами для некоторой раскраски плиток. Условия на подстановку, гарантирующие софичность, довольно сложные.
В настоящей работе мы предлагаем версию теоремы Гудмана-Штрауса с более простыми условиями на подстановку. Хотя эти условия достаточно ограничительны, мы показываем, что в сочетании с двумя простыми приемами (взятием достаточно ...
Добавлено: 10 ноября 2026 г.
Павел Успенский, Логос 2026 Т. 36 № 3 С. 181–214
Статья посвящена поэзии Алексея Крученых 1930–1950-х годов. Меня интересуют как организующие ее приемы, так и то, как в ней отражается субъектность автора. В статье подробно анализируется ирония и игра с советским дискурсом, эффект двуплановости текстов и работа с психоаналитическими концепциями, аллегоризм и описание жуткого. Выделенные приемы позволяют показать, что Крученых, об отношении которого к власти ...
Добавлено: 10 ноября 2026 г.
М.: Елисаветинско-Сергиевское просветительское общество, 2026.
Сборник включает материалы XXVIII Елизаветинско-Сергиевских чтений, состоявшихся в Москве 1 ноября 2025 г., посвящённых 180-летию со дня рождения императора Александра III и 120-летию памяти великого князя Сергея Александровича, и завершающих культурную и научно-просветительскую программу выставки «Августейший хозяин Москвы» (организованной Фондом «Елизаветинско-Сергиевское просветительское общество» в Музее Москвы в июле — ноябре 2025 г.).
Сборник предназначен для историков, ...
Добавлено: 8 ноября 2026 г.
Добавлено: 8 ноября 2026 г.
Фуфаева И. В., Русистика 2026 Т. 24 № 3 С. 423–438
Исторические чередования согласных в русской глагольной парадиг-ме (типа пустить – пущу) утратили фонетическую мотивировку, что делает актуальным изучение их продуктивности при освоении новых слов. В условиях активного пополне-ния лексики исследование того, как носители языка образуют формы 1-го лица ед. числа от новых глаголов, позволяет оценить динамику грамматической системы. Цель исследо-вания — выяснить, сохраняют ли носители ...
Добавлено: 8 ноября 2026 г.
Касаткина Т. А., Корбелла К., Сергеева В. С. и др., М.: ИМЛИ РАН, 2025.
В книге ставится задача описать ряд имплицитных авторских теорий творчества, вскрываемых анализом текстов и подтверждаемых эксплицитными высказываниями автора, в том числе такими, которые могут на неискушенный взгляд совсем не относится ни к каким авторским "теориям", высказываниям словно совсем о другом - но вскрывающими сердцевину авторского мировидения и, соответственно, главные принципы его творчества. ...
Добавлено: 6 ноября 2026 г.
Лезов С. В., Häberl C., Journal of the American Oriental Society. American Oriental Society 2026 Vol. 146 No. 2 P. 325–338
Добавлено: 5 ноября 2026 г.
Ретинский В. И., Функциональный анализ и его приложения 2026 Т. 60 № 4 С. 83–100
Приведено обобщение матричной теоремы о деревьях на случай перечисления пар остовных деревьев. Это обобщение включает в качестве частных случаев и унифицирует сразу несколько известных ранее результатов, в частности классическую теорему Кирхгофа, теорему Масбаума–Вайнтроба о перечислении 3-деревьев, а также аналог матричной теоремы о деревьях для перечисления 4-элементов Кирхгофа. ...
Добавлено: 5 ноября 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 г.
Добавлено: 1 мая 2025 г.
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 г.
Sergey Slavnov, Logical Methods in Computer Science 2023 Vol. 19 No. 4
Добавлено: 20 декабря 2023 г.
Добавлено: 12 ноября 2023 г.
Blaisdell E., Канович М. И., Stepan L. Kuznetsov и др., , in: Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, ProceedingsVol. 13385.: Cham: Springer, 2022. P. 449–467.
Добавлено: 7 августа 2022 г.
Канович М. И., Kuznetsov Stepan G., Кузнецов С. Л. и др., Studies in Computational Intelligence 2021 Vol. 999 P. 1–24
Добавлено: 14 декабря 2021 г.