Research on intuitionistic fuzzy implications. Part 5

Abstract

Continuing the research from four previous papers of the authors, here we check the validity of the two tautologies from the two tautologies of propositional logic ((A → B) & (A → C)) → (A → (B & C)), ((B ∨ C) → A) → ((B → A) ∨ (C → A)) and give the list of the intuitionistic fuzzy implications that satisfy these two formulas.