A note on regular De Morgan semi-Heyting algebras
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2014
- DOI:
- arXiv:
- arXiv:1411.2062
- Bibcode:
- 2014arXiv1411.2062S
- Keywords:
-
- Mathematics - Logic;
- Primary: 03G25;
- 06D20;
- 06D15;
- Secondary: 08B26;
- 08B15
- E-Print:
- 14 pages, 2 figures