Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гёделя–Лёба”, Матем. сб., 2016, том 207, номер 9,страницы 171

Эта публикация цитируется в 4 статьях

Теорема о реализации для логики доказуемости Гёделя–Лёба

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

Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

Аннотация: Предложена новая логика свидетельств, связанная с логикой доказуемости Гёделя–Лёба $\mathsf{GL}$, и доказана теорема о реализации логики $\mathsf{GL}$ в данной логике свидетельств относительно нормальных реализаций.
Библиография: 9 названий.

Ключевые слова: логика свидетельств (доказательств), логика доказуемости, теорема о реализации, циклические выводы.

УДК: 510.6

MSC: 03B42, 03F07, 03F45

Поступила в редакцию: 04.02.2016

DOI: 10.4213/sm8667