The equational theory of a nontrivial discriminator variety is co-NP-hard
- 34 Downloads
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.
Mathematics Subject Classification (2000).08B05 03D15
Key words and phrases.Equational theory discriminator variety complexity
Unable to display preview. Download preview PDF.