General results on the decomposition of transitive fuzzy relations

We study the transitivity of fuzzy preference relations, often considered as a fundamental property providing coherence to a decision process. We consider the transitivity of fuzzy relations w.r.t. conjunctors, a general class of binary operations on the unit interval encompassing the class of triangular norms usually considered for this purpose. Having fixed the transitivity of a large preference relation w.r.t. such a conjunctor, we investigate the transitivity of the strict preference and indifference relations of any fuzzy preference structure generated from this large preference relation by means of an (indifference) generator. This study leads to the discovery of two families of conjunctors providing a full characterization of this transitivity. Although the expressions of these conjunctors appear to be quite cumbersome, they reduce to more readily used analytical expressions when we focus our attention on the particular case when the transitivity of the large preference relation is expressed w.r.t. one of the three basic triangular norms (the minimum, the product and the Aukasiewicz triangular norm) while at the same time the generator used for decomposing this large preference relation is also one of these triangular norms. During our discourse, we pay ample attention to the Frank family of triangular norms/copulas