Simple and sub-directly irreducible double Boolean algebras

G. T. Kembang, L. Kwuida, E. R. A. Temgoua +1

Double Boolean algebras are algebras $\underline{D}=(D;\sqcap ,\bigsqcup ,\neg ,┘,\perp ,\top )$ of type $(2,2,1,1,0,0)$ introduced by Rudolf Wille to capture the equational theory…