Issue:Two variants of intuitionistic fuzzy propositional calculus