Some Implicativities for Groupoids and <i>BCK</i>-Algebras

Abstract

In this paper, we generalize the notion of an implicativity discussed in B C K -algebras, and apply it to some groupoids and B C K -algebras. We obtain some relations among those axioms in the theory of groupoids.

Keywords

• groupoid
• <i>d</i>-algebra
• <i>bck</i>-algebra
• (weakly) (<i>i</i>-)implicative
• condition (<i>l_i</i>)