Abstract
In this paper we develop a theory of localization for bounded commutative BCK-algebras. We try to extend some results from the case of commutative Hilbert algebras (see [1]) to the case of commutative BCK-alge- bras.
Highlights
In this paper we develop a theory of localization for bounded commutative BCK-algebras
We try to extend some results from the case of commutative Hilbert algebras to the case of commutative BCK-algebras
There are some systems which contain the only implication functor among the logical functors. These examples are the systems of positive implicational calculus, weak positive implicational calculus by A
Summary
Iséki introduced a new notion called a BCK-algebra (see [2]). This notion is originated from two different ways. In this paper we develop a theory of localization for commutative (bounded) BCK-algebras, and we deal with generalizations of results which are obtained in the paper [1] for case of Hilbert algebras.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have