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

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

АБВ
АБВ
АБВ

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

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

по году

Тематика

Новости

2 сентября 2026 г.

Время показать свое исследование: открыт прием заявок на НИРС-2026

Иногда готовая работа — это не результат, а хорошая основа для следующего шага. Участие в Конкурсе научно-исследовательских работ студентов (НИРС) позволяет показать исследование экспертам, получить независимую оценку и определить дальнейшее направление работы. Рассказываем о ключевых особенностях подачи работ на Конкурс НИРС — 2026.

1 сентября 2026 г.

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

Исследователи Центра языка и мозга НИУ ВШЭ представили RusLan-M — открытый мультимедийный корпус, который позволяет проследить развитие русской речи у детей от первых слов до появления сложных грамматических конструкций. В базе собраны около 41 часа видеозаписей и более 35 тысяч детских высказываний. Новый ресурс поможет ученым точнее изучать, как дети осваивают русский язык, а в перспективе — создавать более надежные инструменты для оценки речевого развития. Исследование опубликовано в журнале Language Resources and Evaluation.

31 августа 2026 г.

Ученые НИУ ВШЭ предложили по-новому считать неформальную занятость в России

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

Нашли опечатку?
Выделите её, нажмите 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 г.