The notion of intuitionistic fuzzy positive implicative hyper BCK-ideals of type-1, 2... 8 of hyper BCK-algebras was introduced in 2012 by Durga Prasad, Satyanarayana and Ramesh. In this paper, we investigate some related properties of intuitionistic fuzzy positive implicative hyper BCK-ideals of types-1. We characterize positive implicative Artinian (shortly, PI-Artinian) hyper BCK-algebras of...

The study of BCK-algebras was initiated by Iséki [7] as a generalization of the concept of set-theoretic difference and propositional calculus. Iséki posed an interesting problem; whether the class of BCK-algebras is a variety. In connection with this problem Komori introduced in [9] a notion of BCC-algebra which is a generalization of a BCK-algebra and proved that the class of all BCC-algebras...

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

It is evident from the definition that the class of all BCK-algebras is a quasivariety. Yet it is not a variety, nor does the largest subvariety of BCK exist—as shown in Wroński [2], Kabziński & Wroński [3], respectively. Several subvarieties of BCK have been isolated and thoroughly investigated, which has led to a substantial body of results (cf. e.g., Blok & Raftery [4]). Nevertheless, the qu...

For any σ-complete Boolean algebras A and B, if A is isomorphic to [0, b] ⊆ B and B is isomorphic to [0, a] ⊆ A, then A B. Recently, several generalizations of this known CantorBernstein type theorem for MV-algebras, (pseudo) effect algebras and `-groups have appeared in [1], [2], [4] and [5]. We prove an analogous result for certain pseudo BCK-algebras—a noncommutative extension of BCK-algebra...

The purpose of this document is to develop some the basic theory multipliers algebra dual BCK-algebras. In study we demonstrate concept left bi-multiplier and right BCK (DBCK-algebra) algebras. Several examples results pertaining these on DBCK-algebras are developed based definitions. Then characteristics bi-multipliers obtained properties DBCK-algebras. We focused behavior elements under also ...

We consider the intuitionistic fuzzification of the concept of prime ideals in commutative BCK-algebras, and investigate some of their properties. We show that if P is a prime ideal of commutative BCK-algebra X iff ∼ P = 〈XP , − XP 〉 is an intuitionistic fuzzy prime ideal of X. We also prove that An IFS A = 〈μA, λA〉 of commutative BCK-algebra X is an intuitionistic fuzzy prime ideal of X if and...

The concepts of (internal, external) cubic soft sets, P-cubic (resp. R-cubic) soft subsets, R-union (resp. R-intersection, P-union, Pintersection) of cubic soft sets, and the complement of a cubic soft set are introduced, and several related properties are investigated. We apply the notion of cubic soft sets to BCK/BCI-algebras, and introduce the notion of cubic soft BCK/BCI-algebras. A charact...

In this paper, we introduce the notions of Belluce lattice associated with a bounded $BCK$-algebra and reticulation $BCK$-algebra. To do this, first, define operations $curlywedge ,$ $curlyvee $ $sqcup on $BCK$-algebras study some algebraic properties them. Also, for $A$ Zariski topology Spec(A)$ induced $tau _{A,Max(A)}$ $Max(A)$. We prove $(Max(A),tau_{A,Max(A)})$ is compact topological space...

In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...