Аннотация:
В работе определяется понятие символической модели для функциональных логик доказательств. Получены результаты о корректности и полноте указанных логик относительно соответствующих классов символических моделей. Эта техника применяется для доказательства корректности использования термов функциональной логики доказательств в качестве обозначений для ее собственных выводов.
Библиография: 17 названий.
Полный текст:
PDF файл (471 kB)
