On Semi-Boolean-Like Algebras

summary:In a previous paper, we introduced the notion of Boolean-like algebra as a generalisation of Boolean algebras to an arbitrary similarity type. In a nutshell, a double-pointed algebra $\mathbf {A}$ with constants $0,1$ is Boolean-like in case for all $a\in A$ the congruences $\theta \left( a,0\right) $ and $\theta \left( a,1\right) $ are complementary factor congruences of $\mathbf {A}$. We also introduced the weaker notion of semi-Boolean-like algebra, showing that it retained some of the strong algebraic properties characterising Boolean algebras. In this paper, we continue the investigation of semi-Boolean like algebras. In particular, we show that every idempotent semi-Boolean-like variety is term equivalent to a variety of noncommutative Boolean algebras with additional regular operations