Объект исследования: модели логики предикатов первого порядка. Получена алгоритмическая характеризация алгебр Линденбаума семантических классов моделей. Описана связь однородности в модулях и их прямых слагаемых. Рассмотрены алгебраические системы на нечетких множествах. Область применения: математическая логика.
