Studying Fuzzy Modus Ponens

This paper investigates the relations between implication functions, modus ponens and conjunctions. For that purpose, a review of fuzzy modus ponens is done, that takes into account the different worlds involved in the inference. This leads to consider two new modalities of that rule, the modus intusconiugando ponens and the modus forisconjugando ponens from which internal and external conjunctive conditional relations respectively follows. In addition, given such formulation, the modus ponens inequalities can be studied