The variety CPMS of closure extended pseudocomplemented MS-algebras consists of the algebras(L;∧,∨,°,*,+,0,1)of type(2,2,1,1,1,0,0),where(L;∧,∨,°,*,+,0,1)is a pseudocomplemented MS-algebra,+is a lattice ...The variety CPMS of closure extended pseudocomplemented MS-algebras consists of the algebras(L;∧,∨,°,*,+,0,1)of type(2,2,1,1,1,0,0),where(L;∧,∨,°,*,+,0,1)is a pseudocomplemented MS-algebra,+is a lattice endomorphism on L with x≤x^(+)=x^(++)and the operations x→x°,x→x^(*)and x→x^(+)are linked by the identities x^(+*)=x^(*+)and x^(+)°=x°^(+).In this paper,we characterize congruences on a CPMS-algebra,and show that there are precisely eight non-isomorphic subdirectly irreducible nontrivial algebras in the class of these algebras and give a complete description of them.展开更多
Here some properties on filters of double MS-algebras are descripted. We show that,for a normal filter F of a double MS-algebra (L;0, + )(x,y) ∈θ(F) (a,b ∈ F) (x ∧α)∨b+= (y ∧ a)∨ b+.
In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kerne...In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kernel ideals.展开更多
In this article, for any a in the MS-algebra L, the author considers the con- gruence of the form defined by （x,y） ∈θa→←x∧a°° = y ∧a° and x ∨ a°° = y ∨ a°°. A characterizat...In this article, for any a in the MS-algebra L, the author considers the con- gruence of the form defined by （x,y） ∈θa→←x∧a°° = y ∧a° and x ∨ a°° = y ∨ a°°. A characterization of subdirectly irreducible MS-algebras is given and it is also proved that the union of two principal congruences having this form is a principal congruence if and only if L ∈ K2 ∨ K3.展开更多
Algebras whose congruences are permutable were investigated by a number of authors in the literature. In this paper, we study the symmetric extended MS-algebras whose congruences are permutable. Some results obtained ...Algebras whose congruences are permutable were investigated by a number of authors in the literature. In this paper, we study the symmetric extended MS-algebras whose congruences are permutable. Some results obtained by Jie Fang on symmetric extended De Morgan algebras are generalized.展开更多
The notion of e-filters is introduced in an MS-algebra and characterized. The concept of D-filters is introduced and a set of equivalent conditions under which every D-filter is an e-filter are given. The properties o...The notion of e-filters is introduced in an MS-algebra and characterized. The concept of D-filters is introduced and a set of equivalent conditions under which every D-filter is an e-filter are given. The properties of the space of all prime e-filters of an MS-algebra are observed. The concept of D-prime filters is introduced and then a set of equivalent conditions axe derived for a prime e-filter to become a D-prime filter in topological terms.展开更多
The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras （L; ∧ , ∨ , , , ＋ , 0, 1） of type （2, 2, 1, 1, 1, 0, 0） where （L; ∧ , ∨ , , 0, 1） is a de Morgan alge...The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras （L; ∧ , ∨ , , , ＋ , 0, 1） of type （2, 2, 1, 1, 1, 0, 0） where （L; ∧ , ∨ , , 0, 1） is a de Morgan algebra, （L; ∧ , ∨ , , ＋ , 0, 1） is a double demi-p-lattice and the operations x → x , x → x and x → x ＋ are linked by the identities x = x , x ＋ = x ＋ and x ＋ = x ＋ . In this paper, we characterize congruences on a ddpM-algebra, and give a description of the subdirectly irreducible algebras.展开更多
文摘The variety CPMS of closure extended pseudocomplemented MS-algebras consists of the algebras(L;∧,∨,°,*,+,0,1)of type(2,2,1,1,1,0,0),where(L;∧,∨,°,*,+,0,1)is a pseudocomplemented MS-algebra,+is a lattice endomorphism on L with x≤x^(+)=x^(++)and the operations x→x°,x→x^(*)and x→x^(+)are linked by the identities x^(+*)=x^(*+)and x^(+)°=x°^(+).In this paper,we characterize congruences on a CPMS-algebra,and show that there are precisely eight non-isomorphic subdirectly irreducible nontrivial algebras in the class of these algebras and give a complete description of them.
文摘Here some properties on filters of double MS-algebras are descripted. We show that,for a normal filter F of a double MS-algebra (L;0, + )(x,y) ∈θ(F) (a,b ∈ F) (x ∧α)∨b+= (y ∧ a)∨ b+.
文摘In this article, the authors describe the largest congruence induced by a kernel ideal of an MS-algebra and characterize those MS-algebras on which all the congruences are in a one-to-one correspondence with the kernel ideals.
基金the Natural Science Foundation of Hubei Province
文摘In this article, for any a in the MS-algebra L, the author considers the con- gruence of the form defined by （x,y） ∈θa→←x∧a°° = y ∧a° and x ∨ a°° = y ∨ a°°. A characterization of subdirectly irreducible MS-algebras is given and it is also proved that the union of two principal congruences having this form is a principal congruence if and only if L ∈ K2 ∨ K3.
文摘Algebras whose congruences are permutable were investigated by a number of authors in the literature. In this paper, we study the symmetric extended MS-algebras whose congruences are permutable. Some results obtained by Jie Fang on symmetric extended De Morgan algebras are generalized.
文摘The notion of e-filters is introduced in an MS-algebra and characterized. The concept of D-filters is introduced and a set of equivalent conditions under which every D-filter is an e-filter are given. The properties of the space of all prime e-filters of an MS-algebra are observed. The concept of D-prime filters is introduced and then a set of equivalent conditions axe derived for a prime e-filter to become a D-prime filter in topological terms.
文摘The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras （L; ∧ , ∨ , , , ＋ , 0, 1） of type （2, 2, 1, 1, 1, 0, 0） where （L; ∧ , ∨ , , 0, 1） is a de Morgan algebra, （L; ∧ , ∨ , , ＋ , 0, 1） is a double demi-p-lattice and the operations x → x , x → x and x → x ＋ are linked by the identities x = x , x ＋ = x ＋ and x ＋ = x ＋ . In this paper, we characterize congruences on a ddpM-algebra, and give a description of the subdirectly irreducible algebras.
