Issue:Properties of intuitionistic fuzzy implication →177