BCC-algebras with pseudo-valuations (Q2867601)

A real-valued function \(\varphi\) defined on a BCK-algebra \(X\) is a pseudo-valuation if \(\varphi(0)=0\) and \(\varphi(x*y)\geq\varphi(x)+\varphi(y)\) for all \(x,y\in X\). If \(X\) is a BCC-algebra, then the second condition is replaced by \(\varphi((x*y)*z)\geq\varphi(x*z)-\varphi(y)\). Connections between pseudo-valuations on BCK-algebras and BCC-algebras (an important generalization of BCK-algebras) are described. Conditions for a real-valued function to be a BCK-pseudo-valuation are provided.