?
Интуиционистская эпистемическая логика с точки зрения классической логики
Математические заметки. 2026. Т. 120. № 1. С. 118–139.
Рассматриваются интуиционистские эпистемические логики IEL−, IEL и IEL+, введенные С. Артёмовым и Т. Протопопеску. Строится перевод формул этих логик в формулы классической бимодальной логики S4V−M, S4VM, S4V+M и S4V+MU, являющийся обобщением варианта перевода Гёделя интуиционистской логики в логику S4. Показана конечность множества попарно неэквивалентных модальностей в логиках S4V+M и S4V+MU и бесконечность множества попарно неэквивалентных модальностей в логике S4V+. Установлена финитная аппроксимируемость логики S4V+MU.
Ключевые слова: Kripke semanticsсемантика Крипкенеклассические логикиnonclassical logicsembeddings of logicsпогружения логик
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Guterman A., Jonoska N., Kreines E. и др., Proceedings of the Edinburgh Mathematical Society 2026 Vol. 69 No. 3 P. 1041–1057
Добавлено: 27 сентября 2026 г.
Шишкина Э. Л., Современная математика. Фундаментальные направления 2026 Т. 72 № 1 С. 52–67
В статье на основе обобщённого потенциала Бесселя строится весовое пространство
Соболева дробного порядка. Полученные результаты применяются для анализа сингулярного
уравнения Шрёдингера дробного порядка. Для решения задачи Коши для этого уравнения доказана оценка, связывающая норму решения с нормой начального условия в весовом пространстве
Соболева. Остальная часть статьи посвящена вопросам теории ёмкости, построенной на основе
обобщённого потенциала Бесселя. ...
Добавлено: 26 сентября 2026 г.
Шишкина Э. Л., Computational Mathematics and Mathematical Physics 2026 Vol. 66 No. 5 P. 804–815
Добавлено: 26 сентября 2026 г.
Колокольцов В. Н., Шишкина Э. Л., Journal of Theoretical Probability 2026 P. 39–83
Добавлено: 26 сентября 2026 г.
Petr Kucheriaviy, Bulletin of the Australian Mathematical Society 2026
Добавлено: 25 сентября 2026 г.
Пелевин Ф. Е., Математические заметки 2026 Т. 120 № 1 С. 159–163
Две не равные тождественно нулю функции (последовательности элементов некоторого поля) будем называть эквивалентными, если они удовлетворяют функциональному уравнению типа теорем сложения тэта-функций. Основной результат работы состоит в том, что рассматриваемое отношение действительно является отношением эквивалентности. ...
Добавлено: 25 сентября 2026 г.
Shimanogov I. N., Вялый М. Н., Siberian Mathematical Journal 2026 Vol. 67 No. 5 P. 1203–1212
Добавлено: 25 сентября 2026 г.
Добавлено: 24 сентября 2026 г.
Соколов В. В., Adler V. E., Journal of Geometry and Physics 2026 Vol. 227 Article 105860
Добавлено: 24 сентября 2026 г.
Соколов В. В., BALAKHNEV M. Y., Ufa Mathematical Journal 2026 Vol. 18 No. №3 P. 85–93
Добавлено: 24 сентября 2026 г.
Яковлев Е. И., Maksimov D. A., Mathematical notes 2026 Vol. 120 No. 3 P. 483–496
Исследуются гладкие главные расслоения, тотальные пространства и базы которых представляют собой ориентированные во времени лоренцевы многообразия, а проекции являются лоренцевыми субмерсиями, сохраняющими ориентации во времени. Ранее авторами было показано, что хронологичность, причинность и устойчивая причинность всегда поднимаются с базы на пространство лоренцева расслоения, для сильной причинности и глобальной гиперболичности это верно в случае компактности структурной группы. В данной ...
Добавлено: 24 сентября 2026 г.
Добавлено: 24 сентября 2026 г.
Маршаков А. В., Yung A., Ievlev E. и др., Physical Review D - Particles, Fields, Gravitation and Cosmology 2026 No. 114 P. 1–22
Добавлено: 24 сентября 2026 г.
Demina M.V., Нечитайло В. Г., Analysis and Mathematical Physics 2026 Vol. 16 No. 5 P. 1–25
We present a method of finding non-Liouvillian first integrals of rational two-dimensional differential systems. The method is based on the existence of two independent invariants that satisfy a linear second-order ordinary differential equation with respect to one of the variables. We call systems with this property R-integrable. These invariants are not necessarily polynomial; they can ...
Добавлено: 24 сентября 2026 г.
Bitter I., Конаков В. Д., Mathematical notes 2026 Vol. 120 No. 4 P. 599–615
Добавлено: 24 сентября 2026 г.
Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.
Добавлено: 24 сентября 2026 г.
Артёмов С. Н., Беклемишев Л. Д., Гончаров С. С. и др., Успехи математических наук 2025 Т. 80 № 3 С. 179–182
Некролог, посвящённый Ларисе Львовне Максимовой. ...
Добавлено: 27 декабря 2025 г.
Оноприенко А. А., Успехи математических наук 2025 Т. 80 № 5(485) С. 187–188
аннотации нет, так как статья - краткое сообщение ...
Добавлено: 2 октября 2025 г.
Оноприенко А. А., Успехи математических наук 2024 Т. 79 № 1(475) С. 189–190
Добавлено: 31 января 2024 г.
Оноприенко А. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 514 № 1 С. 123–128
В данной заметке доказаны аналоги теорем Эрбрана и Харропа для логики QHC. ...
Добавлено: 28 декабря 2023 г.
Оноприенко А. А., Алгебра и логика 2022 Т. 61 № 6 С. 720–741
Рассматривается совместная логика задач и высказываний QHC, введённая С. А. Мелиховым, а также интуиционистская модальная логика QH4. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма-Сколема о счётной элементарной подмодели для логик QHC и QH4. ...
Добавлено: 4 ноября 2023 г.
Оноприенко А. А., Вестник Московского университета. Серия 1: Математика. Механика 2022 № 5 С. 25–30
Рассматривается пропозициональный фрагмент HC совместной логики задач и высказываний, введенной С.А. Мелиховым. Строятся топологические модели этой логики, показывается корректность и полнота логики HC относительно этого типа моделей. Также строятся топологические модели логики H4, которая была введена С.Н. Артёмовым и Т. Протопопеску. ...
Добавлено: 22 декабря 2022 г.
Оноприенко А. А., Математический сборник 2022 Т. 213 № 7 С. 97–120
Рассматривается совместная логика задач и высказываний QHC, введенная С. А. Мелиховым. Строятся модели Крипке с отмеченными мирами этой логики, показывается корректность и полнота логики QHC относительно этого типа моделей. Показана консервативность логики QHC относительно интуиционистской модальной логики QH4, совпадающей с “lax logic” QLL+. Построены модели Крипке с отмеченными мирами логики QH4, доказана теорема о корректности и ...
Добавлено: 11 июля 2022 г.