Issue:Properties of the intuitionistic fuzzy implication →189