
A survey of fuzzy implication algebras and their axiomatization
Keywords: Non-classical logics; Fuzzy implication algebra; Regular fuzzy implication algebra; Heyting type fuzzy implication algebras; PFI-algebra; BCK-algebra