Issue:Properties of the intuitionistic fuzzy implication →187