The lattice of congruences on a subdirectly irreducible weak Stone-Ockham algebra (Q2909085)

Weak Stone-Ockham algebras are algebras \((L;\wedge,\vee,f,^{\star},0,1)\) of type \((2,2,1,1,0,0)\), where \((L;\wedge,\vee,f,0,1)\) is an Ockham algebra, \((L;\wedge,\vee,^{\star},0,1)\) is a weak Stone algebra and the unary operations \(f\) and \(^{\star}\) commute.NEWLINENEWLINEIn the paper, a complete description of the structure of the lattice of congruences of subdirectly irreducible weak Stone-Ockham algebras is presented.