Исходные положения теории истины с оператором истинности

Аннотация

В статье предложена аксиоматическая теория истины, которая строится как логическая теория с операторами истинности и ложности, которые включены в язык теории и допускают итерацию. T-эквивалентость в общем случае не имеет места, а условием её выполнения является выполнение принципа бивалентности. Область определения оператора истинности в теории истины расширена на универсум символьных выражений. Найдены условия применимости классической логики для формул ряда языков.