Диссертация

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