?
Интуиционистская эпистемическая логика с точки зрения классической логики
Математические заметки. 2026. Т. 120. № 1. С. 118–139.
This paper considers the intuitionistic epistemic logics IEL−, IEL, and IEL+, introduced by S. Artyomov and T. Protopopescu. A translation of the formulas of these logics into the formulas of the classical bimodal logic S4V−M, S4VM, S4V+M, and S4V+MU is constructed. This translation is a generalization of Gödel's translation of intuitionistic logic into S4 logic. The finiteness of the set of pairwise nonequivalent modalities in the logics S4V+M and S4V+MU and the infinity of the set of pairwise nonequivalent modalities in the logic S4V+ are demonstrated. The finite approximability of the logic S4V+MU is established.
Keywords: Kripke semanticsсемантика Крипкенеклассические логикиnonclassical logicsembeddings of logicsпогружения логик
Publication based on the results of:
Mishuris G., Meylan M. H., Pelinovsky E., Journal of Fluid Mechanics 2026 Vol. 1045 Article A4
In this paper, we revisit the classic problem of a wave field on a sloping beach of an arbitrary angle and propose a general approach that allows the computation of regular solutions of the problem regardless of the angle. We use the Mellin-transform technique, reducing the problem to singular integral equations with fixed-point singularities of ...
Added: October 12, 2026
Gusein-Zade S., М.: МЦНМО, 2026.
Книга содержит курс лекций по дифференциальной геометрии и топологии, читавшихся автором на механико-математическом факультете МГУ в разные годы. В дополнениях приводятся некоторые сюжеты (связности в расслоениях, теорема Фробениуса, производные Ли и др.), которые были включены в курс в отдельные годы либо содержались в аналогичных курсах лекций в Независимом московском университете.
Для студентов математических и физических специальностей. ...
Added: October 12, 2026
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
The matrix profile (MP) quickly became one of the most important time series preprocessing methods when it was introduced in 2016, facilitating the solution of a wide range of time series analysis problems, in particular anomaly and pattern detection problems. The high significance has led to the emergence of various tools for MP calculating, but ...
Added: October 9, 2026
М.: Юрайт, 2026.
The Collection of Olympiad Problems (COP) in Probability Theory and Mathematical Statistics (PTMS) is offered as a teaching aid primarily for university students and faculty as a developmental supplementary resource, expanding the range of problems to be solved in lectures, seminars, and out-of-class independent work with students in various formats, including (as the title suggests) ...
Added: October 9, 2026
Aleskerov F. T., Вайншток А. П., Делахова А. М. et al., Информационные процессы 2026 Т. 26 № 3 С. 895–913
The development and effective management of territorial entities are priority issues for all states, particularly in the context of the digital transformation of public administration. Over the past decade, the integration of information technologies into municipal and regional planning has significantly altered approaches to strategic development, service delivery, and public engagement. This paper describes the ...
Added: October 9, 2026
Kupavskii A., Noskov F., Forum of Mathematics, Sigma 2026 Vol. 14 Article 124
We call a family of $s$ sets $\{F_1, \ldots, F_s\}$ a sunflower with $s$ petals if, for any distinct $i, j \in [s]$, one has $F_i \cap F_j = \cap_{u = 1}^s F_u$. The set $C = \cap_{u = 1}^s F_u$ is called the {\it core} of the sunflower. It is a classical result of ...
Added: October 8, 2026
Flamarion M. V., Pelinovsky E., Chaos, Solitons and Fractals 2026 Vol. 213 No. 2 Article 119245
This article concerns the study of modulational instability in the rotated-modified Gardner–Whitham (rmGW) equation. This model incorporates both quadratic and cubic nonlinearities, similarly to the Gardner equation, while also retaining the fully dispersive character of the Whitham equation together with a large-scale dispersive term analogous to that in the Ostrovsky equation. Using a classical multiple-scale asymptotic expansion, we ...
Added: October 8, 2026
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Added: October 7, 2026
Aleskerov F. T., Chaika E., Дерендяев А. Б. et al., Procedia Computer Science 2026 No. 287 P. 590–595
Under conditions of dynamic socio-economic changes, effective planning and decision-making are key factors in ensuring a high quality of life for the population in territories. This paper presents a decision support system for territorial administrations for the development and implementation of sustainable development strategies, using one of the regions of the Russian Federation – the ...
Added: October 7, 2026
Bernardin C., Gonçalves P., Olla S., Mathematical Physics Analysis and Geometry 2024 Vol. 27 No. 7
We consider the macroscopic limit for the space-time density fluctuations in the open symmetric simple exclusion in the quasi-static scaling limit. We prove that the distribution of these fluctuations converge to a gaussian space-time field that is delta correlated in time but with long-range correlations in space. ...
Added: October 6, 2026
Bernardin C., Chhaibi R., Najnudel J. et al., Probability Theory and Related Fields 2026 Vol. 195 P. 1823–1875
We study the celebrated Shiryaev-Wonham filter (Wonham, W.M., in J. Soc. Ind. Appl. Math. 347–369, 1964) in its historical setup, where the hidden Markov jump process has two states. We are interested in the weak noise regime for the observation equation. Interestingly, this becomes a strong noise regime for the filtering equations. Earlier results of ...
Added: October 5, 2026
Ismailov A., Spiridonov V., Успехи математических наук 2026 Т. 81 № 5 С. 183–184
Получена новая формула для цепной дроби Аски–Вильсона в форме отношения двух q-гипер-геометрических рядов. ...
Added: October 5, 2026
Abdulkhaev K., Shirokov D., Advances in Applied Clifford Algebras 2026 Vol. 36 P. 1–21
In this paper, we present explicit formulas for the inverse and determinant in geometric (Clifford) algebras over vector spaces of dimension n = 7. The derivation of these formulas is made possible by generalizing the concept of conjugation to basis conjugation operations. We further develop a general method for constructing such formulas over odd-dimensional spaces ...
Added: October 4, 2026
Kuninets A., IEEE Transactions on Information Theory 2026 P. 1–1
In this work we study the applicability of Quasi-Cyclic Subfield Subcodes of Dual Elliptic (QC-SSDE) codes for integration into code-based cryptographic schemes. Detailed algorithms are provided for constructing parity-check matrices as well as block-circulant parity-check matrices for this family of codes, accompanied by empirical results that enable the construction of QC-SSDE codes with predetermined dimensions. ...
Added: October 3, 2026
Medvedev G., Alexandrov Artem, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 Article 044102
Graphons are measurable functions used to describe the asymptotic behavior of convergent graph families. Originally motivated by problems in combinatorics and graph theory, graphons have found numerous applications in the modeling and analysis of dynamical processes on networks. In this work, we use graphons to formulate the Ising model on convergent graph sequences, which include ...
Added: October 2, 2026
Pochinka O., Baranov D., Nozdrinova E., Теоретическая и математическая физика 2026 Т. 229 № 1 С. 3–14
The Birman–Williams problem on describing the planetary link of a fibered knot K in S^3 has been partially solved. Using Nielsen's theory for the classification of periodic surface homeomorphisms and its close relationship with the theory of gradient-like diffeomorphisms, it is proved that the planetary link of the trefoil (the unique periodic fibered knot of genus ...
Added: October 2, 2026
Артёмов С. Н., Beklemishev L. D., Гончаров С. С. et al., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Added: December 27, 2025
Onoprienko A., Успехи математических наук 2025 Т. 80 № 5(485) С. 187–188
аннотации нет, так как статья - краткое сообщение ...
Added: October 2, 2025
Onoprienko A., Успехи математических наук 2024 Т. 79 № 1(475) С. 189–190
Added: January 31, 2024
Onoprienko A., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 514 № 1 С. 123–128
In this paper analogues of Herbrand’s and Harrop’s theorems for the logic QHC are proved. ...
Added: December 28, 2023
Onoprienko A., Алгебра и логика 2022 Т. 61 № 6 С. 720–741
The joint logic of problems and propositions QHC introduced by S. A. Melikhov, as well as intuitionistic modal logic QH4, is studied. An immersion of these logics into classical first-order predicate logic is considered. An analog of the Lowenheim-Skolem theorem on the existence of countable elementary submodels for QHC and QH4 is established. ...
Added: November 4, 2023
Onoprienko A., Вестник Московского университета. Серия 1: Математика. Механика 2022 № 5 С. 25–30
The propositional fragment HC of the joint logic of problems and propositions introduced by S.A. Melikhov is considered. Topological models of this logic are constructed and the completeness of the logic HC with respect to this type of models is shown. Topological models of the logic H4 introduced by S. Artemov and T. Protopopescu are also constructed. ...
Added: December 22, 2022
Onoprienko A., Математический сборник 2022 Т. 213 № 7 С. 97–120
Рассматривается совместная логика задач и высказываний QHC, введенная С. А. Мелиховым. Строятся модели Крипке с отмеченными мирами этой логики, показывается корректность и полнота логики QHC относительно этого типа моделей. Показана консервативность логики QHC относительно интуиционистской модальной логики QH4, совпадающей с “lax logic” QLL+. Построены модели Крипке с отмеченными мирами логики QH4, доказана теорема о корректности и ...
Added: July 11, 2022
Shishov K., Логико-философские штудии 2018 Т. 16 № 1-2 С. 137–139
В работе [1] представляется алгебраическая структура QMV-алгебры, которая, опираясь на идеи и результаты [2], характеризуется в качестве обобщения для многозначных алгебр. В качестве множества-носителя этого класса структур выступает частично-упорядоченное множество всех эффектов, в действительном интервале [0,1], где под эффектом понима- ется ограниченный линейный оператор в гильбертовом пространстве. Используя метод, предложенный в [3], предполагается существование реляционной ...
Added: March 22, 2021