BCK/BCI-ALGEBRAS WITH PSEUDO-VALUATIONS
Myung-Im Doh, Min-Su Kang · Honam Mathematical Journal · 2010
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.