Нечеткие алгебраические системы

В работе исследуется проблема пополнения частичной информации о нечетких значениях истинности формул первого порядка на алгебраической системе. Предложен семантический подход к нечеткой логике. Данный подход основан на построении нечетких моделей и обобщенных нечетких моделей при помощи фазификации булевозначных моделей.
Введена операция произведения булевозначных моделей. Исследованы свойства произведения булевозначных моделей с конечной булевой алгеброй.
Исследованы обобщенные нечеткие модели, порожденные интервальными означиваниями. Доказано, что если обобщенная нечеткая модель порождена интервальным означиванием некоторого множества предложений, то для любого предложения значением его истинности на данной обобщенной нечеткой модели является интервал.