Issue:On intuitionistic fuzzy implications, negations and the law (¬A ⊃ ¬B) ⊃ ((¬A ⊃ ¬¬B) ⊃ ¬¬A)