TY - JOUR
ID - 6799
TI - Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
JO - Categories and General Algebraic Structures with Applications
JA - CGASA
LA - en
SN - 2345-5853
AU - Sankappanavar, Hanamantagouda P.
AD - Department of Mathematics, State University of New York, New Paltz, NY 12561
Y1 - 2014
PY - 2014
VL - 2
IS - 1
SP - 65
EP - 82
KW - Regular dually quasi-De Morgan semi-Heyting algebra of level 1
KW - dually
pseudocomplemented semi-Heyting algebra
KW - De Morgan semi-Heyting
algebra
KW - strongly blended dually quasi-De Morgan Stone semi-Heyting algebra
KW - discriminator variety
KW - simple
KW - directly indecomposable
KW - subdirectly
irreducible
KW - equational base
DO -
N2 - This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--the latter is known to be generated by the expansions of the three 4-element Boolean semi-Heyting algebras. As consequences of our main theorem, we present (equational) axiomatizations for several subvarieties of $mathbf{RDQDStSH_1}$. The paper concludes with some open problems for further investigation.
UR - https://cgasa.sbu.ac.ir/article_6799.html
L1 - https://cgasa.sbu.ac.ir/article_6799_7ce60a297db56c047a8e3b9e503e48ee.pdf
ER -