De Morgan Semi-Heyting and Heyting Algebras
Abstract
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.
Keywords
Cite
@article{arxiv.1807.00268,
title = {De Morgan Semi-Heyting and Heyting Algebras},
author = {Hanamantagouda P. Sankappanavar},
journal= {arXiv preprint arXiv:1807.00268},
year = {2018}
}
Comments
9 pages, 4 figures, A revision of an earlier version in ArXiv