Fuzzy modus ponens as a calculus of logical modifiers: Towards Zadeh's vision of implication calculus
The authors formally define implication as a mapping from modifiers to modifiers that satisfy some reasonable properties. For an important particular case of an invertible mapping they get a complete description of all modifier-to-modifier mappings that characterize fuzzy implication.
scientific article; zbMATH DE number 1384908