The aim of this paper is to apply the concept of interval-valued intuitionistic fuzzy set to implicative ideals and commutative ideals in BCK-algebras and introduced the new notion of interval-valued intuitionistic fuzzy implicative ideals in BCK-algebras and interval-valued intuitionistic fuzzy commutative ideals in BCK-algebras and related properties are investigated.

the notion of vague ideals in pseudo mv-algebras is introduced,and several properties are investigated. conditions for a vague set to be avague ideal are provided. conditions for a vague ideal to be implicative aregiven. characterizations of (implicative, prime) vague ideals are discussed.the smallest vague ideal containing a given vague set is established. primeand implicative extension proper...

In this note we consider the notion of intuitionistic fuzzy (weak) dual hyper K-ideals and obtain related results. Then we classify this notion according to level sets. After that we determine the relationships between intuitionistic fuzzy (weak) dual hyper K-ideals and intuitionistic fuzzy (weak) hyper K-ideals. Finally, we define the notion of the product of two intuitionistic fuzzy (weak) du...

Based on the falling shadow theory, the concept of falling fuzzy (implicative) ideals as a generalization of that of a T ∧-fuzzy (implicative) ideal is proposed in MV-algebras. The relationships between falling fuzzy (implicative) ideals and T-fuzzy (implicative) ideals are discussed, and conditions for a falling fuzzy (implicative) ideal to be a T ∧-fuzzy (implicative) ideal are provided. Some...

The main aim of this work is to introduce and study the notions ideal direct product d-algebras, d-ideal sub-direct edge positive implicative d-algebras investigate their characterizations.

In [17] Lee and Shiue showed that if R is a non-commutative prime ring, I a nonzero left ideal of R and d is a derivation of R such that [d(x)x, x]k = 0 for all x ∈ I, where k,m, n, r are fixed positive integers, then d = 0 unless R ∼= M2(GF (2)). Later in [1] Argaç and Demir proved the following result: Let R be a non-commutative prime ring, I a nonzero left ideal of R and k,m, n, r fixed posi...

We consider the fuzzification of the notion of a positive implicative ordered filter in implicative semigroups. We show that every fuzzy positive implicative ordered filter is both a fuzzy ordered filter and a fuzzy implicative ordered filter. We give examples that a fuzzy (implicative) ordered filter may not be a fuzzy positive implicative ordered filter. We also state equivalent conditions of...

let $r$ be a commutative ring with identity. an ideal $i$ of a ring $r$is called an annihilating ideal if there exists $rin rsetminus {0}$ such that $ir=(0)$ and an ideal $i$ of$r$ is called an essential ideal if $i$ has non-zero intersectionwith every other non-zero ideal of $r$. thesum-annihilating essential ideal graph of $r$, denoted by $mathcal{ae}_r$, isa graph whose vertex set is the set...

We describe weak BCC-algebras (also called BZ-algebras) in which the condition (xy)z = (xz)y is satisfied only in the case when elements x, y belong to the same branch. We also characterize branchwise commutative and branchwise implicative weak BCC-algebras satisfying this condition. We also describe connections between various types of implicative weak BCC-algebras.