Varieties of quasi-Stone algebras (Q5935992)

An algebra \({\mathbf L}= (L,\vee,\wedge, ',0,1)\) of type \((2,2,1,0,0)\) is a quasi-Stone algebra if \((L,\vee,\wedge,',0,1)\) is a bounded distributive lattice and the complementation satisfies the following identities: \(0'=1\), \(1'= 0\), \((x\vee y)'= x'\wedge y'\), \((x\wedge y')'= x'\vee y''\), \(x\leq x''\), \(x'\vee x''= 1\). The author gives equational bases for all varieties of quasi-Stone algebras.