In a series of papers, 186 different intuitionistic fuzzy implications have been defined. For each of them, the four Barcan formulas are checked in the case of the standard intuitionistic fuzzy quantifiers. The list of the intuitionistic fuzzy implications that satisfy the Barcan formulas is given. Modifications of these formulas for the case of the extended intuitionistic fuzzy quantifiers are introduced and an open problem for them is formulated.