ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ЦЭМИ РАН |
||
Совокупность всех модальных пропозициональных модальных формул, любые арифметические переводы которых выводимы в некоторой (внешней) теории U при интерпретации модальности как геделевской формулы доказуемости в некоторой (внутренней) теории T, называется логикой доказуемости для теории T относительно теории U. Диссертация посвящена классификации, т.е. описанию всевозможных логик доказуемости, получающихся при варьировании внутренней и внешней теории в классе арифметических теорий, расширяющих арифметику Пеано.