A FRACTION STRUCTURE ON IMPLICATIVE BCK-ALGEBRAS
We extend the construction of BCK-algebras of fractions as introduced in [4] by dropping the boundedness assumption. The localization of implicative BCK-algebras at prime ideals is discussed.
implicative BCK-algebras, BCK-algebras of fractions, local BCK‑algebras.