?
A realization theorem for the modal logic of transitive closure K+
Izvestiya. Mathematics. 2025. Vol. 89. No. 2. P. 399–421.
We present a justification logic corresponding to the modal logic of transitive closure K+ and establish a normal realization theorem relating these two systems. The result is obtained by means of a sequent calculus allowing non-well-founded proofs.
Язык:
английский
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Канаева Н. А., Вопросы философии 2026 № 6 С. 170–178
В статье на примере анализа фрагмента первой главы из трактата индийско го философа VIII–IX вв. Джаяраши Бхатты «Таттвопаплавасимха» (санскр. «Лев, опрокидывающий препятствия [к правильному пониманию] катего рий») демонстрируется форма постановки и обсуждения проблемы универ салий в Индии в эпоху Джаяраши. Конспективный стиль первоисточника автор статьи компенсировала реконструкцией концептуального контекста полемики об универсалиях, в качестве которого ...
Добавлено: 6 июня 2026 г.
Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784
Добавлено: 5 июня 2026 г.
Добавлено: 4 июня 2026 г.
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Добавлено: 3 июня 2026 г.
Боброва А. С., Волынская К. А., Праксема. Проблемы визуальной семиотики 2026 Т. 48 № 2 С. 212–235
В настоящее время всем известна музыкальная нотация, которая утвердилась несколько столетий назад. Что касается искусства танца, с ним дела обстоят значительно хуже. Танец, помимо того что имеет динамический характер, ещё и обладает и физическим воплощением. Придумать такую нотацию, которая учитывала бы визуальный, эмоциональный и технический аспекты, соблюдая одновременно с этим нормативные каноны сценического искусства, – ...
Добавлено: 2 июня 2026 г.
Гнетов Ф. А., Конаков В. Д., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162
Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...
Добавлено: 2 июня 2026 г.
Парамонов А. А., Вопросы философии 2025 № 7 С. 37–45
Статья посвящена 90-летнему юбилею со дня рождения Елены Аркадьевны Мамчур, одного из ведущих отечественных философов-методологов науки, чьи работы стали уже признанной классикой отечественной философии науки. Автор обращает внимание на широкий спектр исследований Е.А. Мамчур, охватывающий процессы становления и развития естественнонаучного знания от научных представлений Античности до современных теорий гравитации и квантовой механики. В центре ее ...
Добавлено: 2 июня 2026 г.
Золотухин В. В., Ишрак: ежегодник исламской философии 2026 Т. 4 № 1 С. 36–47
Статья, выдержанная в стиле case study, посвящена обзору апологетических аргументов греко-католического писателя из Алеппо, деятеля литературного Арабского Возрождения Франсӣса Фатх̣аллы ал-Марра̄ша (1836–1874) в его посмертно изданной работе Шаха̄дат ат̣-т̣абӣʻa фӣ вуджӯд Алла̄х ва-ш-шарӣʻа («Свидетельство природы о существовании Бога и Закона»). Аргументы, подбираемые Марра̄шем, демонстрируют методологическую калейдоскопичность, — стремление сопрягать традиционно-богословские ходы не только с рациональной ...
Добавлено: 2 июня 2026 г.
Аракава С., Социология 2026 № 4 С. 298–302
Известно, что Гёнэн, монах школы кэгон, был тесно связан и со школой рицу. Более того, рицу занимала столь важное место в его мировоззрении, что он посвятил ей специальные сочинения. Однако, поскольку японский буддизм традиционно рассматривается как религиозная среда, в которой строгая дисциплина рицу не получила полноценного развития, сама школа рицу остаётся сравнительно малоизученной. По этой ...
Добавлено: 1 июня 2026 г.
М.: ООО «Адвансед солюшнз», 2026.
Данный выпуск сборника студенческих статей .Восточная перспектива. включает в себя статьи победителей и призеров XI Международной научной студенческой конференции "Восточная перспектива", состоявшейся 18 мая 2024 года. В 2024 году на конференцию было подано 115 заявок, офлайн и онлайн в конференции приняли участие докладчики и слушатели из различных вузов России и ближнего и дальнего Зарубежья. ...
Добавлено: 29 мая 2026 г.
М.: ООО «Адвансед солюшнз», 2026.
Данный выпуск сборника студенческих статей «Восточная перспектива» включает в себя статьи победителей и призеров X Международной научной студенческой конференции «Восточная перспектива», состоявшейся 15 апреля 2023 года. Юбилейная конференция стала знаковым событием для студентов различных подразделений НИУ ВШЭ и других вузов России, занимающихся подготовкой востоковедческих кадров. ...
Добавлено: 29 мая 2026 г.
Gorbounov Vassily, Kazakov A., Data Analytics and Topology 2025 Vol. 1 No. 1 P. 33–45
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
Добавлено: 28 мая 2026 г.
Добавлено: 26 мая 2026 г.
Yu.S. Ilyashenko, S. Minkov, I. Shilin, Russian Journal of Mathematical Physics 2026 Vol. 33 No. 1 P. 89–106
Добавлено: 26 мая 2026 г.
Добавлено: 25 мая 2026 г.
Небольсин Д. И., Логос 2026 Т. 36 № 1 С. 113–134
В статье затрагивается проблема теоретизации отношений звука и визуальности на материале более частных практик создания аудиозаписей и образов. Текст организован по принципу плейлиста: на восьми звуковых примерах выявляется, какие из понятий актуальных исследований образа релевантны для теоретической работы со звуком. В большинстве своем выбранные примеры фиксируют и обрабатывают окружающее звуковое пространство, но делают это разными ...
Добавлено: 23 мая 2026 г.
Добавлено: 23 мая 2026 г.
Kikot S., Шапировский И., Золин Е. Е., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 369–388.
Добавлено: 2 декабря 2020 г.
Саватеев Ю. В., Шамканов Д. С., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 569–583.
Добавлено: 16 сентября 2019 г.