2018/07/01 by Sankappanavar, Hanamantagouda P. · 1 citation
#03B50 #03C05 #06D15 #06D20 #06D30 #06E75 #08B15 #FOS: Mathematics #Logic (math.LO) #Primary:03G25 #Secondary : 08B26
paper · doi:10.48550/arxiv.1807.00268
The variety DMSH of semi-Heyting algebras with a De Morgan negation was introduced in [12] and an increasing sequence DMSHn of level n, n being a natural number, of its subvarieties was investigated in the series [12], [13], [14], [15], [16], and [17], of which the present paper is a sequel. In this paper, we prove two main results: Firstly, we prove that DMSH1-algebras of level 1 satisfy Stone identity, generalizing an earlier result that regular DMSH1-algebras of level 1 satisfy Stone identity. Secondly, we prove that the variety of DmsStSH of dually ms, Stone semi-Heyting algebras is at level 2. As an application, it is derived that the variety of De Morgan semi-Heyting algebras is also at level 2. It is also shown that these results are sharp.