The notion of bipolar fuzzy subalgebras and bipolar fuzzy ideals of a BCK/BCI-algebra is introduced, and several properties are investigated. Relations between a bipolar fuzzy subalgebra and a bipolar fuzzy ideal are given. A condition for bipolar fuzzy subalgebra to be a bipolar fuzzy ideal is provided, and the characterizations of a bipolar fuzzy ideal are stated. The concept of equivalence r...

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 notion of (∈,∈ ∨q)-interval-valued fuzzy prime ideals in commutative BCK-algebras is introduced. Some characterization theorems in (∈,∈ ∨q)-interval-valued fuzzy prime ideals in commutative BCK-algebras are derived. Also we study relation between (∈,∈ ∨q)-interval-valued fuzzy prime ideal and (∈ ∨q)-interval-valued fuzzy level prime ideals. Characterization of interval-valued fuzzy set to b...

In this paper, we acquaint new kinds of ideals BCK-algebras built on tripolar picture fuzzy structures. fact, the notions ideal, implicative ideal (commutative ideal) BCK-algebra are introduced, and related properties studied. Also, a relation among is well-known. Furthermore, it shown that may be but converse not correct in common. Further, obtained an BCK-algebra, aforementioned statement tru...

We introduce the notion of sensible fuzzy ideals of BCK-algebras with respect to a t-conorm and investigate some of their properties. We give the conditions for a sensible fuzzy subalgebra with respect to a t-conorm to be a sensible fuzzy ideal with respect to a t-conorm. Some properties of the direct product and S-product of fuzzy ideals of BCK-algebras with respect to a t-conorm are also disc...

In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...