The same fuzzy conjunction operators are used in generating the implication functions and in the generalized modus ponens as the composition operators. Additional properties for fuzzy conjunction operators are then identified in order to generate an agreement between fuzzy implication functions and the generalized modus ponens, and their corresponding crisp counterparts at the boundaries of the truth domain. Furthermore, additional restrictions are imposed in order to have generalized modus ponens satisfy some desirable properties.
展开▼