Proof-theoretic analysis by iterated reflection

L. D. Beklemishev

doi:10.1007/978-3-319-22156-4

АБВ
АБВ
АБВ

Обычная версия сайта

Приоритетные направления

по году

Тематика

Новости

23 октября 2026 г.

В НИУ ВШЭ впервые прошла конференция на стыке стохастики, ИИ и финансовой математики

В середине октября в Высшей школе экономики состоялась первая научная конференция «Стохастика, искусственный интеллект и финансовая математика» (SAIMF 26). Исследователи Вышки, ведущие математики и специалисты финансового сектора обсудили фундаментальные математические задачи, современные методы искусственного интеллекта и их применение в финансах.

21 октября 2026 г.

Ученые НИУ ВШЭ систематизировали методы защиты изображений

Исследователи МИЭМ ВШЭ проанализировали схемы полухрупких цифровых водяных знаков для изображений, опубликованные за последние десять лет. Такие водяные знаки сохраняются при обычном сжатии или изменении яркости, но выдают подделку, если в снимок добавили объект или заменили лицо. Авторы предложили классификацию этих схем и выделили главные нерешенные проблемы. Результаты опубликованы в журнале Computer Science Review.

20 октября 2026 г.

«Наши работы можно назвать исследованиями на переднем крае науки»

Международная лаборатория кластерной геометрии, действующая на факультете математики НИУ ВШЭ, занимается формированием новой научной дисциплины, соединяющей в себе знания из различных областей математики. Выполненные в ней работы вызывают большой интерес, в том числе у зарубежных коллег. Лаборатория изучает семейства кривых и разрабатывает методы, применяемые в исследованиях физического микромира. Новостная служба «Вышка.Главное» побеседовала с заведующим лабораторией профессором Сергеем Ландо.

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации

?

Proof-theoretic analysis by iterated reflection

P. 225–270.

Беклемишев Л. Д.

Язык: английский

DOI

Ключевые слова: proof theory ordinal analysis reflection principles Turing progressions

В книге

Turing's Revolution. The Impact of His Ideas about Computability. Giovanni Sommaruga and Thomas Strahm, eds., Birkhäuser, Basel, 2015

Basel: Birkhauser/Springer, 2015.

Отмеченное субординатное натуральное исчисление для базовой интуиционистской кондициональной логики

Зайцев И. В., Логические исследования 2025 Т. 31 № 2 С. 143–168

В статье осуществляется презентация и построение отмеченного субординатного натурального исчисления 𝓕IntCK для интуиционистской кондициональной логики IntCK, предложенной Г.К. Ольховиковым как интуиционистский вариант минимальной нормальной кондициональной логики Б. Челласа CK и полной относительно интуиционистского прочтения метатеории CK. Система IntCK задает базовые дедуктивные принципы для формализации конструктивных контекстов, допускающих использование двух независимых контрфактических связок – □→ и ◇→. Описываемое в статье натуральное исчисление 𝓕IntCK основывается на технике, задействующей метки ...

Добавлено: 23 ноября 2025 г.

Logical Perspectives 2021 Workshop

M.: [б.и.], 2021.

Добавлено: 14 декабря 2021 г.

Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities

Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239–256

Добавлено: 1 июля 2020 г.

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic

Павлова А. М., Lang T., Fermüller, C., , in: Information Processing and Management of Uncertainty in Knowledge-Based Systems 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part IVol. 1237. Issue 1.: Springer, 2020. P. 257–270.

Добавлено: 3 июня 2020 г.

Axiomatizing Provable n-Provability

Беклемишев Л. Д., Колмаков Е. А., Doklady Mathematics 2018 Vol. 98 No. 3 P. 582–585

Добавлено: 24 июня 2019 г.

Axiomatization of provable n-provability

Колмаков Е. А., Беклемишев Л. Д., Journal of Symbolic Logic 2019 Vol. Volume 84 No. Issue 2 P. 849–869

Добавлено: 24 июня 2019 г.

The undecidability theorem for the Horn-like fragment of linear logic (Revisited).

Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719–744

Добавлено: 1 сентября 2016 г.