Булевозначные алгебры

В работе строится общая теория булевозначных алгебр: вводятся понятия гомоморфизма, конгруэнции, подалгебры, прямого произведения. Доказывается, что эти алгебры обладают свойствами, вполне аналогичными свойствами двузначных алгебр. Каждой булевозначной алгебре $\mathfrak A$ соотносится некоторая универсальная алгебра, называемая нормальным расширением, $\mathfrak{N(A)}$, элементами которой являются всевозможные разбиения единицы данной булевой алгебры с естественно продолжаемыми операциями. Показана эквациональная эквивалентность произвольной булевозначной алгебры и ее нормального расширения. Доказано, что всякий гомоморфизм данной булевозначной алгебры однозначно продолжается до некоторого гомоморфизма ее нормального расширения.
Библиография: 10 названий.