2014/11/08 by Sankappanavar, Hanamantagouda P. · 1 citation
#06D15 #06D20 #08B15 #FOS: Mathematics #Logic (math.LO) #Primary: 03G25 #Secondary: 08B26
paper · doi:10.48550/arxiv.1411.2062
The purpose of this note is two-fold. Firstly, we prove that the variety RDMSH1 of regular De Morgan semi-Heyting algebras of level 1 satisfies Stone identity and present (equational) axiomatizations for several subvarieties of RDMSH1. Secondly, we give a concrete description of the lattice of subvarieties of the variety RDQDStSH1 of regular dually quasi-De Morgan Stone semi-Heyting algebras that contains RDMSH1 . Furthermore, we prove that every subvariety of RDQDStSH1, and hence of RDMSH1, has Amalgamation Property. The note concludes with some open problems for further investigation.