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