The purpose of this note is two-fold. Firstly, we prove that the variety RDMSH 1 of regular De Morgan semi-Heyting algebras of level 1 satisfies Stone identity and present (equational) axiomatizations for several subvarieties of RDMSH 1 . Secondly, using our earlier results published in 2014, we give a concrete description of the lattice of subvarieties of the variety RDQDStSH 1 of regular dually quasi-De Morgan Stone semi- Heyting algebras that contains RDMSH 1 . Furthermore, we prove that every subvariety of RDQDStSH 1 , and hence of RDMSH 1 , has Amalgamation Property. The note concludes with some open problems for further investigation.
Contents
-
August 20, 2016
-
August 20, 2016
-
Open AccessInterval Decomposition Lattices are BalancedAugust 20, 2016
-
Open AccessC3-ModulesAugust 20, 2016
-
Open AccessInterpolations of Bargmann Type MeasuresAugust 20, 2016
-
August 20, 2016
-
August 20, 2016
-
August 20, 2016
-
August 20, 2016