QUASI-UNIFORMITY ON BCK-ALGEBRAS.

In this paper, we introduce a quasi-uniformity U* that is induced in a natural way on a BCK-algebra X endowed with a topology τ: We build a quasi-uniformity by U✻* -Cauchy filters on a BCK-algebra X: Finally, we prove that bicompletions induced by this quasi-uniformity can be considered a topological BCK-algebra which contains X as a sub-dense-space. [ABSTRACT FROM AUTHOR]