Abstract.
Discriminator varieties play a central role in the classification of decidable varieties; and they arise naturally in the study of algebraic logics. There are also important connections with the reduction of theorem proving to equational logic. In this paper we show, for any nontrivial discriminator variety, that the problem of determining if an equation holds in the variety is co-NP-hard.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Received August 24, 2002; accepted in final form August 5, 2004.
Rights and permissions
About this article
Cite this article
Burris, S. The equational theory of a nontrivial discriminator variety is co-NP-hard. Algebra univers. 52, 487–494 (2005). https://doi.org/10.1007/s00012-004-1894-9
Issue Date:
DOI: https://doi.org/10.1007/s00012-004-1894-9