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

Ключевые слова:булевозначная алгебраическая система, теория множеств, булевозначный анализ.