De Morgan semi-Heyting and Heyting algebras

DOI10.1142/9789811215476_0024zbMATH Open1448.06003arXiv1807.00268OpenAlexW3006910722MaRDI QIDQ5137292FDOQ5137292

Authors: Hanamantagouda P. Sankappanavar 

Publication date: 2 December 2020

Published in: New Trends in Algebras and Combinatorics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1807.00268

Recommendations

• A note on regular De Morgan semi-Heyting algebras
• Dually quasi-De Morgan Stone semi-Heyting algebras. I: Regularity
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• Dually quasi-De Morgan Stone semi-Heyting algebras. II: Regularity
• JI-distributive, dually quasi-de Morgan semi-Heyting and Heyting algebras

zbMATH Keywords

discriminator varietyDe Morgan semi-Heyting algebraDe Morgan Heyting algebrablended dually quasi-De Morgan semi-Heyting algebra of level \(n\)dually ms Stone semi-Heyting algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20)

Cited In (12)

• Semi-de Morgan algebras
• De Morgan Heyting algebras satisfying the identityx^n(′*)≈x^(n+1)(′*)
• Title not available (Why is that?)
• A note on regular De Morgan semi-Heyting algebras
• Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications
• On the characterization of a subvariety of semi-De Morgan algebras
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
• JI-distributive, dually quasi-de Morgan semi-Heyting and Heyting algebras
• Inquisitive Heyting algebras
• Dually quasi-De Morgan Stone semi-Heyting algebras. I: Regularity
• Dually quasi-De Morgan Stone semi-Heyting algebras. II: Regularity

This page was built for publication: De Morgan semi-Heyting and Heyting algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5137292)