Copyright q 2010 Young Bae Jun et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Based on the theory of falling shadows and fuzzy sets, the notion of a falling fuzzy implicative ideal of a BCK-algebra is introduced. Relations...

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...

The aim of this paper is to lay a foundation for providing a soft algebraic tool in considering many problems that contain uncertainties. In order to provide these soft algebraic structures, the notion of int-soft positive implicative ideals is introduced, and related properties are investigated. Relations between an int-soft ideal and an int-soft positive implicative ideal are established. Cha...

In this paper, we interrelate the intuitionistic fuzzification of the concept of BCI-(positive implicative, implicative, commutative) ideals in BCI-algebras and investigate some of their properties.

The study of symmetry is one the most important and beautiful themes uniting various areas contemporary arithmetic. Algebraic structures are useful in pure mathematics for learning a geometrical object’s symmetries. In this paper, we introduce new concepts an algebraic structure called BCI-algebra, where present bipolar fuzzy (closed) BCI-positive implicative ideals BCI-commutative BCI-algebras...

In this note first we define the notion of dual positive implicative hyper Kideal of type 4, where for simplicity is written by DPIHKI − T4. Then we give some related results. Finally we determine all of hyper K-algebras of order 3, which have D1 = {1}, D2 = {1, 2} or D3 = {0, 1} as a DPIHKI − T4.