Issue:Properties of Fodor’s intuitionistic fuzzy implication and negation