The theory of boolean algebras with an additional binary operation

This paper deals with Boolean algebras supplied with an additional binary operation, calledB-algebras for short.The aim of the paper is to generalize some theorems concerning topological Boolean algebras to more comprehensive classes ofB-algebras, to formulate fundamental properties ofB-algebras, and to find more important relationships of these algebras to other known algebras.The paper consists of two parts. At the beginning of the first one, several subclasses ofB-algebras are distinguished, and then, their basic properties, connections between them as well as certain relationships with other algebras, are investigated. In particular, it is shown that the class of Boolean algebras together with an arbitrary unary operation is polynomially equivalent to the class ofB₁-algebras.The second part of the paper is concerned with the theory of filters and congruences inB-algebras.