Fuzzy implication algebras, BCK algebras and implicative semigroups.
scientific article; zbMATH DE number 6555850