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