H. S. Kim and N. R. Kye ([7]) introduced the notion of a
quadratic BF-algebra, and obtained that quadratic BF-algebras, quadratic Q-algebras,
BG -algebras and B-algebras are equivalent nations on a eld X with jXj 3, and hence
every quadratic BF-algebra is a BCI-algebra.