“…These algebras form an important class of logical algebras and have many applications to various domains of mathematics, such as: group theory, functional analysis, fuzzy sets theory, probability theory, topology, etc. For other details about BCK-algebras and about some new applications of them, the reader is referred to [2], [5], [6], [10], [11], [12], [13] .…”