Abstract
"In this paper we define a pseudo-valuation on a BCK algebra (A,→, 1) as a real-valued function v : A → R satisfying v(1) = 0 and v(x → y) ≥ v(y) − v(x), for every x, y ∈ A ; v is called a valuation if x = 1 whenever v(x) = 0. We prove that every pseudo-valuation (valuation) v induces a pseudo-metric (metric) on A defined by dv(x, y) = v(x → y) + v(y → x) for every x, y ∈ A, where → is uniformly continuous in both variables. The aim of this paper is to provide several theorems on extensions of pseudo-valuations (valuations) on BCK algebras. In this paper we define a pseudo-valuation on a BCK algebra (A,→, 1) as a real-valued function v : A → R satisfying v(1) = 0 and v(x → y) ≥ v(y) − v(x), for every x, y ∈ A ; v is called a valuation if x = 1 whenever v(x) = 0. We prove that every pseudo-valuation (valuation) v induces a pseudo-metric (metric) on A defined by dv(x, y) = v(x → y) + v(y → x) for every x, y ∈ A, where → is uniformly continuous in both variables. The aim of this paper is to provide several theorems on extensions of pseudo-valuations (valuations) on BCK algebras. In this paper we define a pseudo-valuation on a BCK algebra (A,→, 1) as a real-valued function v : A → R satisfying v(1) = 0 and v(x → y) ≥ v(y) − v(x), for every x, y ∈ A ; v is called a valuation if x = 1 whenever v(x) = 0. We prove that every pseudo-valuation (valuation) v induces a pseudo-metric (metric) on A defined by dv(x, y) = v(x → y) + v(y → x) for every x, y ∈ A, where → is uniformly continuous in both variables. The aim of this paper is to provide several theorems on extensions of pseudo-valuations (valuations) on BCK algebras."
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callSimilar Papers
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
