Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classify these dual presentations in ”left” and ”right” ones and we consider that, when dealing with several algebras in the same research, it is useful to present them unitarily, either as ”left” algebras or as ”right” algeb...

In this paper, we introduce the concept of neutrosophic BCI/BCKalgebras. Elementary properties of neutrosophic BCI/BCK algebras are presented. AMS (2010): 03B60, 03G25, 06F35.

The notion of intersectional soft sets is introduced, and several examples are given. The application of intersectional soft sets to BCK/BCI-algebras is discussed.

In this paper, we will provide an algorithm which allows us to find a BCK-algebra starting from a given binary block code.

We prove that every implicative aBE algebra satisfies the transitivity property. This means is a Tarski algebra, and thus also commutative BCK algebra.

The intuitionistic Q-fuzzification of the concept of subalgebras in BCK/BCI-algebra is considered, and some related properties are investigated.