摘要
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.
