Булевозначный универсум как алгебраическая система. I. Основные принципы

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