Notes on A survey of fuzzy implication algebras and their axiomatization ?
A correction of Theorem 2 in Pei's paper is presented. Conditions (I1)(I5) in the definition of FI-algebras are independent. The class of all CFI-algebras forms an equational algebra class.
fuzzy implication algebra independence equational algebra class commutative fuzzy implication algebra