Automorphisms on normal and convex fuzzy truth values revisited

The present paper extends some previous works studying automorphisms in type-2 fuzzy sets. The framework for the analysis is the set of convex and normal functions from [0,1] to [0,1] (fuzzy truth values). The paper concentrates on those automorphisms that, in this framework, leave the constant function 1 fixed. This function is quite important since it defines the boundary between the functions that represent “TRUE” (increasing functions) and those that represent “FALSE” (decreasing functions), being at the same time the only normal function that is simultaneously increasing and decreasing. While C.L. Walker, E.A. Walker and J. Harding introduced in 2008 a family of functions leaving the constant function 1 fixed, the main goal of this paper is to prove that the functions of that family are in fact automorphisms, and moreover, that they are the only automorphisms (in the mentioned set of convex and normal functions from [0,1] to [0,1]) that preserve the function 1.