• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

A realization theorem for the Gödel-Löb provability logic

Sbornik Mathematics. 2016. Vol. 207. No. 9. P. 1344-1360.
Переводчик: D. S. Shamkanov.

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