BCK/BCI-ALGEBRAS WITH PSEUDO-VALUATIONS

Abstract

Using the Buneag's model ([1, 2, 3]), the notion of pseudo-valuations (valuations) on a -algebra is introduced, and a pseudo-metric is induced by a pseudo-valuation on -algebras. Based on the notion of (pseudo) valuation, we show that the binary operation in -algebras is uniformly continuous.