Skew Boolean algebras and discriminator varieties
The authors introduce and investigate the class of skew Boolean algebras which are also meet semilattices under the natural skew lattice partial order. The class has connections with two other classes of algebras, namely implicative BCK-algebras and algebras in discriminator varieties.
scientific article; zbMATH DE number 759389
scientific article