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

Глава

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

С. 56-58.

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

В книге

Под редакцией: В. И. Маркин М.: Современные тетради, 2017.