The variety generated by the truth value algebra of type-2 fuzzy sets
This paper addresses some questions about the variety generated by the algebra of truth values of type-2 fuzzy sets. Its principal result is that this variety is generated by a finite algebra, and in particular is locally finite. This provides an algorithm for determining when an equation holds in this variety. It also sheds light on the question of determining an equational axiomatization of this variety, although this problem remains open. (C) 2009 Elsevier B.V. All rights reserved.
variety type-2 fuzzy set locally finite equational base