?
On embedding Lambek calculus into commutative categorial grammars
Journal of Logic and Computation. 2022. Vol. 32. No. 3. P. 479–517.
Язык:
английский
Злотник А. А., Математические заметки 2026 Т. 120 № 6 С. 1005–1009
Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...
Добавлено: 1 октября 2026 г.
Вьюгин И. В., Sashadhar D., Algebra and Number Theory 2026 P. 1–10
We study the K-Fibonacci sequence Fp modulo prime p. Cardinalities of sets |Fp+Fp| and |Fp⋅Fp| are estimated. We present the method of estimating doubling constant of some m-dimensional recurrent sets in Fp. ...
Добавлено: 1 октября 2026 г.
We investigate a boundary-driven Ginzburg-Landau dynamics with long-range interactions. In the hydrodynamic limit, the macroscopic evolution is governed by a fractional heat equation with Dirichlet boundary conditions, while the corresponding stationary profile is characterized by a fractional Laplace equation. We establish a dynamical large deviations principle for the empirical measure and derive the associated stationary ...
Добавлено: 1 октября 2026 г.
Куксин С. Б., Shirikyan A., Journal of Dynamics and Differential Equations 2026 P. 1098–1100
Добавлено: 1 октября 2026 г.
Потанин Б. С., Долгих С. И., Statistics and Probability Letters 2026 Article 110984
Добавлено: 1 октября 2026 г.
Виноградов А. Ю., Rodionov O., Traveaux et memoires 2026 Vol. 30 No. 2 P. 1075–1089
Добавлено: 1 октября 2026 г.
A. V. Pereskokov, Journal of Mathematical Sciences 2026 Vol. 302 No. 4 P. 531–545
Добавлено: 1 октября 2026 г.
Бельдиев И. С., Тимашёв Д. А., Алгебра и анализ 2026 Т. 38 № 5 С. 1–10
Алгебраическое многообразие X называется однородным пространством, если на X существует транзитивное регулярное действие алгебраической группы. Мы доказываем неравенства, связывающие размерность однородного пространства линейной алгебраической группы и его число Пикара. ...
Добавлено: 30 сентября 2026 г.
Громенко Е. С., Кронгауз М. А., Антропологический форум 2026 № 70 С. 163–183
В статье описывается конструкция лицо такой-то национальности в русском языке с ее семантическими и прагматическими характеристиками. Цель исследования — проследить появление конструкции и проанализировать, как она употребляется и как воспринимается. Более подробно рассматриваются три выражения, представляющие эту конструкцию: лицо еврейской национальности, лицо кавказской национальности и лицо немецкой национальности. Используются методы корпусной лингвистики и культуромики. Выделяются ...
Добавлено: 30 сентября 2026 г.
Добавлено: 30 сентября 2026 г.
Глуцюк А. А., Ильяшенко Ю. С., Izvestiya. Mathematics 2026 Vol. 90 No. 1 P. 73–89
Добавлено: 30 сентября 2026 г.
Поцелуев В. А., Ural-Altaic Studies 2026 Vol. 62 No. 3 P. 62–81
В последнее время в формальной уралистике сложился консенсус по поводу способа определения позиции отрицания в
клаузе. В статье [Mitchell 2006] предлагается использовать в качестве диагностики позиции отрицания расположение временно́й морфемы. Если эта морфема находится на отрицательном глаголе, то проекция отрицания структурно занимает позицию
ниже TP, а если на лексическом глаголе, то проекция отрицания, соответственно, располагается выше TP. ...
Добавлено: 30 сентября 2026 г.
Тужилин М. А., Автоматика и телемеханика 2026 № 11 С. 84–97
Предлагается обобщение двух известных инвариантов реальных сетей: степени и кси-центральности. Строится серия центральностей, основанная на матрице Лапласа сети и параметризованная параметром j со следующими свойствами: во-первых, при j = 0, 1 эти центральности совпадают со степенью и ксицентральностью; во-вторых, их распределение хорошо приближается распределением Вейбулла; в-третьих, для реальных сетей они имеют правостороннюю асимметрию, а для ...
Добавлено: 29 сентября 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 г.