Hyperidentities of De Morgan algebras

Publisher Website
Google Scholar
Abstract
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.

This publication has 6 references indexed in Scilit: