This paper deals with the study of generalizations fuzzy subalgebras and ideals in BCK/BCI-algebras. In fact, notions ∈ , ∨ κ ~ ∗ q -fuz...

The notion of a state is an analogue of a probability measure and was first introduced by Kôpka and Chovanec for MV-algebras and by Riec̆an for BLalgebras. The states have also been studied for different types of non-commutative fuzzy structures such as pseudo-MV algebras, pseudo-BL algebras, bounded R`monoids, residuated lattices and pseudo-BCK semilattices. In this paper we investigate the sta...

Using the notion of anti fuzzy points and its besideness to and nonquasi-coincidence with a fuzzy set, new concepts in anti fuzzy subalgebras in BCK/BCI-algebras are introduced and their properties and relationships are investigated.

In this paper, we introduce the concept of doubt fuzzy H-ideals in BCKalgebras and study its some properties. Moreover, we provide characterizations of H-Artin BCK-algebras in terms of doubt fuzzy H-ideals.

In 1966, (Imai and Iseki, 1966) defined a class of algebras of type (2, 0) named BCK-algebras. At the same time, (Iseki, 1966) generalized another class of algebras of type (2, 0) called BCI-algebras. Hu and Li (1983) introduced the concept of BCH-algebras and gave examples of proper BCH-algebras (Hu and Li, 1985). Neggers and Kim (2001) introduced and investigated a class of algebras, viz., th...

One special subalgebra of the algebra of fuzzy truth values is the set of those elements that take only 0 and 1 as values. This subalgebra is in one-to-one correspondence with the subsets of the unit interval, but the operations do not correspond to ordinary union and intersection. The automorphisms of this subalgebra are studied here, resulting in showing that the subobjects corresponding to n...

In this paper, by using the concept of belongingness (∈) and quasi-coincidence (q) between fuzzy points and fuzzy sets, we introduce (α, β)-fuzzy positive implicative ideals in BCK-algebras where α, β are any of {∈, q, ∈ ˅ q, ∈ ˄ q} with α ≠ ∈ ˄ q.

BCK-algebras, introduced in the 1960s by Imai and Iséki [3], form a well-known class of algebras intensively studied in algebraic logic during the last decades. The reason of their introduction was practically twofold: they describe general properties of algebras of sets with the set subtraction as a binary operation, and secondly, they form a natural generalization of algebraic counterparts of...