ABSTRACT

The proofs of many factorization results for an intuitionistic fuzzy binary relation 〈ρµ, ρν〉 involve dual proofs, one for ρµ with respect to a t-conorm ⊕ and one for ρν with respect to a t-norm ⊗. We show that one proof can be obtained from the other by considering ⊕ and ⊗ dual under an involutive fuzzy complement. This section follows the development of that in [23].