On pseudo-valuations on BCK-algebras

Abstract

In this paper, we study some properties of pseudo-valuations and their induced quasi metrics. The continuity of operation of a BCK-algebra was studied with topology induced by a pseudo-valuation. Moreover, we show that product of finite number of this pseudo metric spaces is a pseudo metric space. Also, we prove that if a BCK-algebra X has a pseudo-valuation, then every quotient space of X has a pseudo metric. The completion of this spaces has been investigated in the present study.