Hyperidentities of De Morgan algebras
Yuri Movsisyan, Vahagn Aslanyan · Logic Journal of IGPL · 2012
The hyperidentities of the variety of De Morgan algebras are characterized in this article. A finite base of hyperidentities for this variety is found as a consequence. In particular, we obtain that the variety of De Morgan algebras has a decidable hyperequational theory. And finally we prove that the hyperequational theory of this variety is not one-based.