Циклические выводы в логике доказуемости Гёделя-Лёба

Д. С. Шамканов

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

21 октября 2026 г.

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

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

20 октября 2026 г.

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

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

20 октября 2026 г.

За гранью возможного: в Вышке прошел финал IX сезона «Научных боев»

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

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

Публикации

?

Циклические выводы в логике доказуемости Гёделя-Лёба

С. 56–58.

Шамканов Д. С.

Рассматривается исчисление гильбертовского типа для логики доказуемости Гёделя-Лёба GL, выводимость в котором основана на понятии циклического вывода. В отличие от обычных выводов, циклический вывод можно представлять себе не как дерево, но как граф, содержащий циклы.

Язык: русский

Ключевые слова: логика доказуемости циклические выводы

В книге

Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.

М.: Современные тетради, 2017.

Global neighbourhood completeness of the Gödel-Löb provability logic

Шамканов Д. С., , in: Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings.: Springer, 2017. P. 358–370.

Добавлено: 26 сентября 2017 г.

A realization theorem for the Gödel-Löb provability logic

Шамканов Д. С., Sbornik Mathematics 2016 Vol. 207 No. 9 P. 1344–1360

Предложена новая логика свидетельств, связанная с логикой доказуемости Гёделя–Лёба GL, и доказана теорема о реализации логики GL в данной логике свидетельств относительно нормальных реализаций. ...

Добавлено: 25 ноября 2016 г.

Franco Montagna’s Work on Provability Logic and Many-valued Logic

L. Beklemishev, Flaminio T., Studia Logica 2016 Vol. 104 No. 1 P. 1–46

Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic. ...

Добавлено: 13 марта 2016 г.

Circular proofs for the Gödel–Löb provability logic

Шамканов Д. С., Mathematical notes 2014 Vol. 96 No. 4 P. 575–585

В статье рассматривается исчисление секвенций для логики доказуемости GL, доказуемость в котором основана на понятии циклического вывода. В отличие от обычных выводов, циклический вывод можно представлять себе не как дерево, но как граф, содержащий циклы. Используя данное понятие, мы даем синтаксическое доказательство интерполяционного свойства Линдона для логики GL. ...

Добавлено: 13 августа 2014 г.

Interpolation properties for provability logics GL and GLP

Шамканов Д. С., Proceedings of the Steklov Institute of Mathematics 2011 Vol. 274 No. 1 P. 303–316

Исследуются интерполяционные свойства логик доказуемости. Доказаны интерполяционное свойство Линдона для логики GL и равномерное интерполяционное свойство для логики GLP. ...

Добавлено: 6 февраля 2013 г.