Научный архив: статьи

Изучаемая здесь система — это логика, язык которой содержит унарную логическую связку, представляющую некоторую циклическую операцию на множестве истинностных значений и симулирующую своей двойной итерацией дедуктивные свойства отрицания классической логики высказываний. Эта унарная связка называется оператором Руета. Целью статьи является доказательство интерполяционной теоремы Крейга для логики с оператором Руета. Приводится определение логики с оператором Руета, ее адекватная секвенциальная аксиоматизация, строится новое секвенциальное исчисление в языке, обогащенном логическими константами, и доказывается интерполяционная теорема Крейга.