On a subvariety of semi-De Morgan algebras (Q1410421)

Semi-De Morgan algebras are bounded distributive lattices with an additional unary operation \({}^\prime\) such that the identities \(0^\prime \approx 1, \quad 1^\prime\approx 0, (x\vee y)^\prime\approx x^\prime\wedge y^\prime, (x\wedge y)''\approx x''\wedge y'', x'''\approx x^\prime\) are satisfied. The variety of all semi-De Morgan algebras is obviously congruence-distributive. \textit{D. Hobby} [Stud. Logica 56, 151-183 (1996; Zbl 0854.06010)] proved that it is locally finite. The same author [loc. cit.] described the largest subvariety \(\mathcal C\) of semi-De Morgan algebras with the congruence extension property. \textit{E. Fried, G. Grätzer} and \textit{R. Quackenbush} proved in a paper neglected by the authors [Algebra Univers. 10, 176-188 (1980; Zbl 0431.08002)] that a locally finite congruence-distributive variety has the congruence extension property if and only if it has equationally definable principal congruences in the restricted sense. The authors find a defining set of identities for principal congruences in \(\mathcal C\), describe the subdirectly irreducible members of \(\mathcal C\), and visualize the ordered set \(\operatorname{SI}_F(\mathcal C)\) of isomorphism classes of nontrivial finite subdirectly irreducible algebras from \(\mathcal C\). A fundamental result due to \textit{B. Davey} [Houston J. Math. 5, 183-192 (1979; Zbl 0396.08008)] says that the lattice of subvarieties of \(\mathcal C\) is isomorphic to the lattice of all down-sets in \(\operatorname{SI}_F(\mathcal C)\) because \(\mathcal C\) is a locally finite congruence-distributive variety.