In fuzzy rules based systems, fuzzy implication functions are usually considered to model fuzzy conditionals and to perform forward and backward inferences. These processes are guaranteed by the fulfilment of the Modus Ponens and Modus Tollens properties by the fuzzy implication function with respect to the considered conjunction and fuzzy negation. In this paper, we investigate which residual implications derived from uninorms satisfy both Modus Ponens and Modus Tollens properties with respect to the same t-norm and a fuzzy negation simultaneously. The most usual classes of uninorms are considered and many solutions are obtained which allow to model the fuzzy conditionals in a fuzzy rules based systems (and perform backward and forward inferences) with a unique residual implication derived from a uninorm.
Modus Ponens Tollens for RU-Implications