BCC-algebras with pseudo-valuations

Abstract

The notion of pseudo-valuations (valuations) on a BCC-algebra is introduced by using the Bu?neag?s model ([1-3]), and a pseudo-metric is induced by a pseudo-valuation on BCC-algebras. Conditions for a real-valued function to be an BCK-pseudo-valuation are provided. The fact that the binary operation in BCC-algebras is uniformly continuous is provided based on the notion of (pseudo) valuation.