2014•DOAJ (DOAJ: Directory of Open Access Journals)Open access

Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity

Hanamantagouda P. Sankappanavar

Open full text 3 citations

Abstract

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.

About this research paper

What this paper is about

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.

Why it matters

OpenAlex reports 3 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

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.

Key concepts: Heyting algebra, Variety (cybernetics), Element (criminal law), Mathematics, Interior algebra, Pure mathematics, Algebra over a field, Algebra representation

Related papers

Back to paper searchBrowse research topicsOriginal source
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity — Research Paper | ScholarLens