Issue:Deductive properties of intuitionistic fuzzy logic