Proof-theoretic analysis by iterated reflection

L. D. Beklemishev

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

29 октября 2026 г.

Как прогнозировать будущее науки и технологий

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

29 октября 2026 г.

Плоская модель местности скрыла от симулятора потерю связи между машинами

Исследователи МИЭМ ВШЭ показали, что популярные симуляторы связи между автомобилями заметно переоценивают ее надежность, потому что считают рельеф местности плоским. Если учесть рельеф, мосты и туннели, доля потерянных соединений на горном серпантине вырастает с 21 до 30%, у эстакады — с 20 до 33%, а в туннеле — с нуля до 80%.Результаты опубликованы в журнале Future Transportation.

27 октября 2026 г.

НИУ ВШЭ открывает прием заявок от подразделений на участие в Программе привлечения российских постдоков

Как привлечь новые компетенции в исследовательскую команду, дать импульс перспективному проекту и наладить сотрудничество с учеными из других организаций? Один из инструментов — Программа привлечения российских постдоков в НИУ ВШЭ. C 26 октября по 18 декабря 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 г.