?
Интуиционистская эпистемическая логика с точки зрения классической логики
Математические заметки. 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погружения логик
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Осипов Д.В., Математический сборник 2026 Т. 217 № 9 С. 130–146
Изучаются законы взаимности, связанные с комплексными линейными расслоениями на расслоениях на ориентируемые окружности. В частности, доказывается следующий закон взаимности. Пусть B – комплексное многообразие и πi:Mi→B – расслоение на ориентируемые окружности, где индекс i пробегает конечное множество. Пусть Li и Ni – комплексные линейные расслоения на каждом многообразии Mi. Закон взаимности утверждает, что сумма всех элементов (πi)∗(c1(Li)∪c1(Ni)), где (πi)∗ – ...
Добавлено: 3 сентября 2026 г.
Басалаев А. А., Раровский А. А., Journal of Singularities 2026 Vol. 30 P. 61–80
Добавлено: 1 сентября 2026 г.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2026 Vol. 36 No. 6 Article exag026
Добавлено: 1 сентября 2026 г.
Селянин Ф. И., Moscow Mathematical Journal 2026 Vol. 26 No. 2 P. 167–187
Добавлено: 31 августа 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., International Mathematics Research Notices 2026 Vol. 14 Article rnag146
Добавлено: 31 августа 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., Communications in Mathematical Physics 2026 Vol. 407 No. 69
Добавлено: 31 августа 2026 г.
Механизм происходящих в мире изменений носит эволюционный, а не экологический характер. Иначе говоря, Человечество столкнулось с кризисом развития, который имеет три независимые составляющие: кризис индустриального общества (фазовый кризис), кризис научного мышления (эпистемный кризис) и кризис формата существования разума (социосистемный кризис). Доклад посвящён аспектам этого триединого кризиса и возможным путям его преодоления, не сводящимся к первичному ...
Добавлено: 31 августа 2026 г.
Bayer A., Кузнецов А. Г., Macrì E., Journal fuer die reine und angewandte Mathematik 2026 Vol. 2026 No. 836 P. 111–162
Добавлено: 30 августа 2026 г.
Bayer A., Кузнецов А. Г., Macrì E., Compositio Mathematica 2026 Vol. 162 No. 1 P. 59–99
Добавлено: 30 августа 2026 г.
Гусева Л. А., Novikov A., Advances in Mathematics 2026 Vol. 503 Article 111211
Добавлено: 30 августа 2026 г.
Полищук А., Rains E., Journal of the Institute of Mathematics of Jussieu 2026 Vol. 25 No. 1 P. 339–373
Добавлено: 30 августа 2026 г.
Kazhdan D., Полищук А., Pure and Applied Mathematics Quarterly 2026 Vol. 22 No. 3 P. 1115–1166
Добавлено: 30 августа 2026 г.
Добавлено: 30 августа 2026 г.
Широков Н. А., Rozenblum G., Israel Journal of Mathematics 2026 P. 1–30
We establish that a generalized H\¨older continuous function on an (m−2)-Ahlfors regular compact set in Rm can be approximated by solutions of an elliptic equation, with the rate of approximation determined by the continuity modulus of the function ...
Добавлено: 29 августа 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 г.
Шишов К. В., Логико-философские штудии 2018 Т. 16 № 1-2 С. 137–139
В работе [1] представляется алгебраическая структура QMV-алгебры, которая, опираясь на идеи и результаты [2], характеризуется в качестве обобщения для многозначных алгебр. В качестве множества-носителя этого класса структур выступает частично-упорядоченное множество всех эффектов, в действительном интервале [0,1], где под эффектом понима- ется ограниченный линейный оператор в гильбертовом пространстве. Используя метод, предложенный в [3], предполагается существование реляционной ...
Добавлено: 22 марта 2021 г.
Оноприенко А. А., Математический сборник 2020 Т. 211 № 5 С. 98–125
Рассматривается пропозициональный фрагмент HC объединенной логики задач и высказываний, введенной C. A. Мелиховым. Строятся модели типа Крипке для этой логики, доказывается полнота логики HC относительно таких моделей, а также свойство конечных моделей. Рассмотрены примеры применения моделей типа Крипке логики HC для решения некоторых вопросов (в частности, доказательство того, что HC является консервативным расширением логики H4). Также показано, что логика HC полна относительно шкал Крипке с проверяющими мирами, введенных С. Н. Артёмовым ...
Добавлено: 20 октября 2020 г.