Commutative deductive systems of pseudo-BCK-algebras
Sign Up to like & getrecommendations! Published in 2018 at "Soft Computing"
DOI: 10.1007/s00500-017-2623-6
Abstract: In this paper, we generalize the axiom systems given by M. Pałasiński and B. Woźniakowska for commutative BCK-algebras to the case of commutative pseudo-BCK-algebras. A characterization of commutative pseudo-BCK-algebras is also given. We define the… read more here.
Keywords: deductive systems; commutative deductive; systems pseudo; bck algebras ... See more keywords
On pseudo-valuations on BCK-algebras
Sign Up to like & getrecommendations! Published in 2018 at "Filomat"
DOI: 10.2298/fil1812319m
Abstract: In this paper, we study some properties of pseudo-valuations and their induced quasi metrics. The continuity of operation of a BCK-algebra was studied with topology induced by a pseudo-valuation. Moreover, we show that product of… read more here.
Keywords: pseudo; valuations bck; pseudo metric; bck algebras ... See more keywords