The truth value algebra of type-2 fuzzy sets. (2016)