Н. М. Рубцова, “Логика доказательств с операцией подстановки”, Матем. заметки, 2007, том 82, выпуск 6,страницы 905

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

Логика доказательств с операцией подстановки

Н. М. Рубцова

Московский государственный университет им. М. В. Ломоносова

Аннотация: Рассматривается аксиоматизация операции подстановки в логике доказательств. Для полученной системы вводится символическая семантика и доказывается теорема о полноте.
Библиография: 8 названий.

УДК: 510

Поступило: 05.02.2007
Исправленный вариант: 13.06.2007

DOI: 10.4213/mzm4190