Compatible operations in some subvarieties of the variety of weak Heyting algebras
نویسنده
چکیده
Weak Heyting algebras are a natural generalization of Heyting algebras (see [2], [5]). In this work we study certain subvarieties of the variety of weak Heyting algebras in order to extend some known results about compatible functions in Heyting algebras.
منابع مشابه
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
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--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملThe Variety of Semi-Heyting Algebras Satisfying the equation (0 → 1)* v (0 → 1)** ≈ 1
In [4, Definition 8.1], some important subvarieties of the variety SH of semi-Heyting algebras are defined. The purpose of this paper is to introduce and investigate the subvariety ISSH of SH, characterized by the identity (0 1) (0 1) 1. We prove that ISSH contains all the subvarieties introduced by Sankappanavar and it is in fact the least subvariety of SH with this property. We als...
متن کاملJi-distributive Dually Quasi-de Morgan Linear Semi-heyting Algebras
The main purpose of this paper is to axiomatize the join of the variety DPCSHC of dually pseudocomplemented semi-Heyting algebras generated by chains and the variety generated by D2, the De Morgan expansion of the four element Boolean Heyting algebra. Toward this end, we first introduce the variety DQDLNSH of dually quasi-De Morgan linear semi-Heyting algebras defined by the linearity axiom and...
متن کاملDually Quasi
The variety DQD of semi-Heyting algebras with a weak negation, called dually quasi-De Morgan operation, and several of its subvarieties were investigated in the series [31], [32], [33], and [34]. In this paper we define and investigate a new subvariety JID of DQD, called “JI-distributive, dually quasi-De Morgan semi-Heyting algebras”, defined by the identity: x ∨ (y → z) ≈ (x ∨ y) → (x ∨ z), as...
متن کامل