科研之友
微信
新浪微博
Facebook
分享链接
摘要
The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras (L; Lambda, V,(o) , *, ( ), 0, 1) of type (2,2,1,1,1,0,0) where (L; Lambda, V(o), 0, 1) is a de Morgan algebra, (L; Lambda, V, *, ( ), 0, 1) is a double demi-p-lattice and the operations x bar right arrow x(o), x bar right arrow x* and x bar right arrow x( ) are linked by the identities x*(o) = x(o)*, x( o) = x(o ) and x*( ) = x( )*. In this paper, we characterize congruences on a ddpM-algebra, and give a description of the subdirectly irreducible algebras.
