International Journal of Engineering and Advanced Research Technology (IJEART)
ISSN: 2454-9290, Volume-1, Issue-4, October 2015
Some properties of ( , ) -interval valued fuzzy ideals
in BF-algebras
M. Idrees, A. Rehman, M. Zulfiqar, S. Muhammad
Abstract. In this paper, we introduce the concept of
( , ) -interval valued fuzzy ideals in BF-algebra, where ,
are any one of , q , q , q and investigate some
of their related properties. We prove that every
( q, q ) -interval valued fuzzy ideal of a BF-algebra
X is an (, q ) -interval valued fuzzy ideal of X. We show
that when an (, q ) -interval valued fuzzy ideal of a
BF-algebra X is an (, ) -interval valued fuzzy ideal of X. We
also prove that the intersection and union of any family of
(, q ) -interval valued fuzzy ideals of a BF-algebra X is
an (, q ) -interval valued fuzzy ideal of X.
Key words: BF-algebra; ( , ) -interval valued fuzzy
ideals; (, q ) -interval valued fuzzy ideal.
I. INTRODUCTION
The concept of BF-algebra was first initiated by Walendziak
[25] in 2007. The theory BF-algebra was further enriched by
many authors [5, 9, 24].
The fuzzy sets, proposed by Zadeh [22] in 1965, has
provided a useful mathematical tool for describing the
behavior of systems that are too complex or ill defined to
admit precise mathematical analysis by classical methods and
tools. Extensive applications of fuzzy set theory have been
found in various fields, for example, artificial intelligence,
computer science, control engineering, expert system,
management science, operation research and many others.
The concept was applied to the theory of groupoids and
groups by Rosenfeld [22], where he introduced the fuzzy
subgroup of a group.
A new type of fuzzy subgroup, which is, the
(, q ) -fuzzy subgroup, was introduced by Bhakat and
Das [3] by using the combined notions of belongingness
and quasi-coincidence of fuzzy points and fuzzy sets, which
was introduced by Pu and Liu [21]. Murali [20] proposed the
definition of fuzzy point belonging to a fuzzy subset under a
natural equivalence on fuzzy subsets. It was found that the
most viable generalization of Rosenfelds fuzzy subgroup is
(, q ) -fuzzy subgroup. Bhakat [1-2] initiated the
concepts of ( q ) -level subsets, (, q ) -fuzzy
normal, quasi-normal and maximal subgroups. Many
researchers utilized these concepts to generalize some
concepts of algebra (see [4, 7, 8, 26, 31-33]). In [6], Davvaz
studied (, q ) -fuzzy subnearrings and ideals. In
[11-13], Jun defined the notion of ( , ) -fuzzy
subalgebras/ideals in BCK/BCI-algebras. The concept of
( , ) -fuzzy positive implicative ideal in BCK-algebras
was initiated by Zulfiqar in [31]. In [14], Jun defined
(, q ) -fuzzy subalgebras in BCK/BCI-algebras. In
[32], Zulfiqar introduced the notion of sub-implicative
( , ) -fuzzy ideals in BCH-algebras. Currently, Zulfiqar
and Shabir defined the concept of positive implicative
(, q ) -fuzzy ideals ( ( , q ) -fuzzy ideals, fuzzy
ideals with thresholds) in BCK-algebras in [33].
The theory of interval valued fuzzy sets was proposed forty
year ago as a natural extension of fuzzy sets. Interval valued
fuzzy set was introduced by Zadeh [28], where the value of
the membership function is interval of numbers instead of the
number. The theory was further enriched by many authors [4,
7-8, 10, 15-19, 23, 29-30]. In [4], Biswas defined interval
valued fuzzy subgroups of Rosenfelds nature, and
investigated some elementary properties. Jun, introduced the
concept of interval valued fuzzy subalgebras/ideals in
BCK-algebras [10]. In [15], Latha et al. initiated the notion of
interval valued ( , ) -fuzzy subgroups. In [16], Ma et al.
defined the concept of interval valued (, q ) -fuzzy
ideals of pseudo MV-algebras. In [17-18], Ma et al. studied
(, q ) -interval valued fuzzy ideals in BCI-algebras.
Mostafa et al. initiated the notion of interval valued fuzzy
KU-ideals in KU-algebras [19]. In [23], Saeid defined the
concept of interval valued fuzzy BG-algebras. Zhan et al. [30]
initiated the notion of interval valued (, q ) -fuzzy
filters of pseudo BL-algebras.
In the present paper, we define the concept of
( , ) -interval valued fuzzy ideals in BF-algebra, where
, are any one of , q , q , q and
investigate some of their related properties. We prove that
every ( q, q ) -interval valued fuzzy ideal of a
BF-algebra X is an (, q ) -interval valued fuzzy ideal
of X. We show that when an (, q ) -interval valued
fuzzy ideal of a BF-algebra X is an (, ) -interval valued
fuzzy ideal of X. We also prove that the intersection and union
of any family of (, q ) -interval valued fuzzy ideals of
a BF-algebra X is an (, q ) -interval valued fuzzy ideal
of X.
2. PRELIMINARIES
Throughout this paper X always denote a BF-algebra
without any specification. We also include some basic aspects
that are necessary for this paper.
1 www.ijeart.com
 Some properties of ( , ) -interval valued fuzzy ideals in BF-algebras

A BF-algebra X [25] is a general algebra (X, , 0) of type BF-algebra X is a pair of fuzzy sets ( ,

) of X such that
(2, 0) satisfying the following conditions:
(BF-1) x x=0 (x) (x), for all x X.
(BF-2) x 0=x If C , D are two interval-valued fuzzy sets of a
(BF-3) 0 (x y) = (y x) BF-algebra X, then we define
for all x, y X.
We can define a partial order on X by x y if
C D if and only if for all x X, C (x) D (x) and
and only if x y = 0. C (x) D (x),
C = D if and only if for all x X, C (x) = D (x) and
Definition 2.1. [25] A nonempty subset S of a BF-algebra X
is called a subalgebra of X if it satisfies C (x) = D (x).
x y S, for all x, y S.
Also, the union and intersection are defined as follows:
Definition 2.2. [5] A non-empty subset I of a BF-algebra X is If C and D are two interval-valued fuzzy sets of a
called an ideal of X if it satisfies the conditions (I1) and (I2), BF-algebra X, where
where
(I1) 0 I,
C (x) = [ C (x), C (x)], D (x) = [ D (x), D (x)], for
all x X,
(I2) x y I and y I imply x I,
then
for all x, y X.
(C D )(x) = C (x) D (x) = [max{ C (x),

We now review some interval-valued fuzzy logic D (x)}, max{ C (x), D (x)}]
concepts. First, we denote by c = [c-, c+] a closed interval of
[0, 1], where 0 c- c+ 1 and denote by H[0, 1] the set of all ( C D )(x) = C (x) D (x) = [max{ C (x),

such closed intervals of [0, 1]. D (x)}, max{ C (x), D (x)}]
Define on H[0, 1] an order relation by
C c (x) = [1 - C (x), 1 - C (x)]
(1) c1 c2 c1 c 2 and c1 c 2 where the operation c is the complement of interval-valued

(2) c1 = c2 c =c
1 2 and c =c
1 2
fuzzy set of X.

(3) c1 c2 c 1 c 2 and c 1 c 2 By the join of two interval-valued fuzzy sets, we know

- +
(4) p c = [pc , pc ], whenever 0 p 1 C C c (x) = [max{ C (x), 1- C (x)},

(5) rmax{ c i , d i } = [max{ c i , d i }, max{ c i , d i }]
max{ C (x), 1- C (x)}].

(6) rmin{ c i , d i } = [min{ c i , d i }, min{ c i , d i }]
~
Definition 2.3. An interval valued fuzzy set of a
(7) rinf c i = [ iI c i , iI c i ]
BF-algebra X is called an interval valued fuzzy ideal of X if it

(8) rsup c i = [ iI c i , iI c i ] satisfies the conditions (F1) and (F2), where
~ ~
Where (F1) (0) (x),
c i = [ c i , c i ], d i = [ d i , d i ] H[0, 1], i I. ~ ~ ~
(F2) (x) (x y) (y),
Then, H[0, 1] with is a complete lattice, with = rmin, = for all x, y X.
rmax, 0 = [0, 0] and 1 = [1, 1] being its least element and the ~
greatest element, respectively. Theorem 2.4. An interval valued fuzzy set of a
~
An interval valued fuzzy set of a universe X is a
BF-algebra X is an interval valued fuzzy ideal of X if and only
~ ~
~ t [1, 1], ~t is an ideal of X.
if, for every [0, 0] <
function from X into the unit closed interval [0, 1], that is ~
: X H[0, 1],
~
(x) H[0, 1], where for each x X Proof. Assume that is an interval valued fuzzy ideal of X
~ ~
~
( x) [ ( x), ( x)] H[0, 1]. and let t H[0, 1] be such that x ~t . Then
~ ~
(0) ( x ) ~t ,
~
For an interval valued fuzzy set in a BF-algebra ~
we have 0 ~t . Let x, y X be such that
~
X and [0, 0] < t [1, 1], the crisp set ~ ~
~ ~ x y ~t and y ~t .
~t = {x X | (x) ~t }
~ Then
is called the level subset of . ~
(x y) ~t and
~
(y) ~t .
It follows from F2 that
We also note that, since every c [0, 1] is in ~ ~ ~
correspondence with the interval [c, c] H[0, 1], it follows (x) (x y) (y)
that a fuzzy set is a particular case of interval-valued fuzzy set.
~ ~ ~
First we note that an interval-valued fuzzy set of a t t
~
= t

2 www.ijeart.com
 International Journal of Engineering and Advanced Research Technology (IJEART)
ISSN: 2454-9290, Volume-1, Issue-4, October 2015
~
Thus
~ (b) = [ (b), (b)] > ~
x ~t . which implies that
~ ~ ~
Hence ~t is an ideal of X. ab ~ and b ~
~
Conversely, suppose that ~t is an ideal of X for This leads to a contradiction.
Hence
~
all [0, 0] < t [1, 1]. ~ ~ ~
(x) (x y) (y).
Assume that there exist a X such that ~
~ ~
(0) < (a).
Thus is an interval valued fuzzy ideal of X.

Let
~ 3. ( , ) -INTERVAL VALUED FUZZY IDEALS IN BF-ALGEBRA
(0) = [ (0), (0) ] In this section, we define the concept of
and ( , ) -interval valued fuzzy ideals in a BF-algebra and
~
(a) = [ (a), (a) ] investigate some of their properties. Throughout this paper X
Then will denote a BF-algebra and , are any one of , q ,
(0) < (a) and (0) < (a). q , q unless otherwise specified.
~
If we take An interval valued fuzzy set of a BF-algebra X
~ 1 ~ ~
= [ , ] = ( (0) (a )) ,
having the form
2
~ if y x
Then ~ t ( [0, 0])
1 1 (y) =
[ , ] = [ ( (0) (a )) , ( (0) (0)) ].

[0, 0] if y x
2 2
Hence is said to be an interval valued fuzzy point with support x and
(0) < < (a) and (0) < < (a). ~
value t and is denoted by x ~t . An interval valued fuzzy
This implies that
~ point x ~t is said to belong to (resp., quasi-coincident with) an
(0) = [ (0), (0) ] < [ , ] < [ (a), (a) ]. ~ ~
~
This shows that 0 ~ , which is contradiction. Therefore
interval valued fuzzy set , written as x ~t (resp.
~ ~ ~
~ ~ x ~t q ) if (x) ~ ~
t (resp. (x) + t > [1, 1]). By x ~t
(0) (x) ~ ~ ~
for all x X. Now, let us suppose there are a, b X such q ( x ~t q ) we mean that x ~t or
that ~ ~ ~
~ ~ ~ x ~t q ( x ~t and x ~t q ).
(a) < (a b) (b).
Let In what follows let and denote any one of
~
(a) = [ (a), (a)], , q , q , q and q unless otherwise
~ ~ ~
(a b) = [ (a b), (a b)] specified. To say that x ~t means that x ~t does
and not hold.
~
(b) = [ (b), (b)] ~
Put Definition 3.1. An interval valued fuzzy set of a
1 ~ ~ ~ BF-algebra X is called an ( , ) -fuzzy subalgebra of X,
~ = [ , ] = ( (a) + ( (a b) (b)))
2 where q , if it satisfies the condition
~ ~ ~
Then x ~t1 , y ~t2 ( x y) ~t1 ~t2
(a) < < (a b) (b)

~ ~
and for all [0, 0] < t1 , t2 [1, 1] and x, y X.

(a) < < (a b) (b) ~

Then we will have Let be an interval valued fuzzy set of a
~
~
(a) = [ (a), (a)] < [ , ] < BF-algebra X such that (x) [0.5, 0.5] for all x X. Let
~
x X and [0, 0] < t [1, 1] be such that
[ (a b) (b), (a b) (b)].

~
Therefore x ~t q .
~
a ~ . Then
~ ~
But (x) ~t and (x) + ~t > [1, 1].
~ It follows that
(a b) = [ (a b), (a b)] > ~ ~ ~ ~ ~
and 2 (x) = (x) + (x) (x) + ~t > [1, 1].

3 www.ijeart.com
 Some properties of ( , ) -interval valued fuzzy ideals in BF-algebras

~ ~ ~
This implies that (x) > [0.5, 0.5]. This means that ( x y) ~ ( x y ) and y~ ( y ) .
~
{ x ~t | x ~t q } = . Hence by hypothesis
case = q in the above definition
~
Therefore, the is x~ ( x y ) ~ ( y ) .
omitted. This implies that
~ ~ ~
~ (x) (x y) (y).
Definition 3.2. An interval valued fuzzy set of a
BF-algebra X is called an ( , ) -interval valued fuzzy Theorem 3.4. Every ( q, q ) -interval valued
ideal of X, where q , if it satisfies the conditions
fuzzy ideal of a BF-algebra X is an (, q ) -interval
(A) and (B), where
~ ~ valued fuzzy ideal of X.
(A) x ~t 0 ~t , Proof. Let
~
be an ( q, q ) -interval valued fuzzy
~ ~ ~
(B) ( x y ) ~t , y ~t x ~
t ~
t
, ideal of X. Let x X and [0, 0] <
~ [1, 1] be such that
t
1 2 1 2
~ ~ ~ ~
for all [0, 0] < t , t1 , t2 [1, 1] and x, y X. x ~t . Then
~
~ x ~t q
Theorem 3.3. For any interval valued fuzzy set of a and so
BF-algebra X, the condition (F1) and (F3) are equivalent to ~
the conditions: 0 ~t q .
~ ~ ~ ~
Let x, y X and [0, 0] < t1 , t2 [1, 1] be such that
(C) x ~t 0 ~t ,
~ ~ ~ ~ ~
(D) ( x y ) ~t , y ~t x ~t1 ~t2 , ( x y) ~t1 and y ~t2 .
1 2
~ ~ ~
for all [0, 0] < t , t1 , t2 [1, 1] and x, y, z X.
Then
~ ~
Proof. (F1) (C) ( x y) ~t1 q and y ~t2 q .
~
Let x X and [0, 0] < t [1, 1] be such This implies that
~ ~
that x ~t , that is x ~t1 ~t2 q .
~ ~
(x) ~t . Therefore is an (, q ) -interval valued fuzzy ideal
Then by (F1) of X.
~ ~
(0) (x) ~t
~ ~
and so 0 ~t . Theorem 3.5. An interval valued fuzzy set of a
BF-algebra X is an (, q ) -interval valued fuzzy ideal
(C) (F1) of X if and only if it satisfies the conditions (E) and (F), where
~ ~ ~
Since x~ ( x ) , for x X. Thus by hypothesis (E) (0) (x) [0.5, 0.5],
~ ~ ~
~ (F) (x) (x y) (y) [0.5, 0.5],
0 ~ ( x ) , so we have for all x, y X.
~ ~ ~
(0) (x). Proof. Suppose is an (, q ) -interval valued fuzzy
ideal of X. Let x X be such that
(F2) (D) ~ ~
~ ~ (0) (x) [0.5, 0.5].
Let x, y X and [0, 0] < t1 , t2 [1, 1] be such ~
that
If (x) [0.5, 0.5], then
~ ~
~ ~
( x y) ~t1 and y ~t2 . (0) (x).
~ [0.5, 0.5] such that
Select [0, 0] < t
Then ~ ~
~ ~ (0) ~t (x).
(x y) ~t1 and (y) ~t2 . Then
By (F2) ~ ~
~ ~ ~ x ~t but 0 ~t q ,
(x) (x y) (y) which is a contradiction.
~ ~
t1 t2 . ~ ~
If (x) [0.5, 0.5], then (0) [0.5, 0.5]. This implies
Thus
~ that
x ~t1 ~t2 . ~
x[0.5, 0.5] but 0[0.5, 0.5] q
~
.
Again a contradiction. Hence
(D) (F2) ~ ~
Note that for every x, y X, we have
(0) (x) [0.5, 0.5],
for all x X.

4 www.ijeart.com
 International Journal of Engineering and Advanced Research Technology (IJEART)
ISSN: 2454-9290, Volume-1, Issue-4, October 2015
~
Now we show that condition (F) holds. On the This shows that is an (, q ) -interval valued fuzzy
contrary assume that there exist x, y X such that
~ ~ ~ ideal of X.
(x) (x y) (y) [0.5, 0.5].
~ ~ ~
If (x y) (y) [0.5, 0.5], then Theorem 3.6. An interval valued fuzzy set of a
~ ~ ~
(x) (x y) (y). BF-algebra X is an interval valued fuzzy ideal of X if and only
~
~ [0.5, 0.5] such that is an (, ) -interval valued fuzzy ideal of X.
Select [0, 0] < t if
~ ~ ~ ~
(x) ~t (x y) (y). Proof. Suppose is an interval valued fuzzy ideal of X and
~ ~
Then
~ ~ ~ x ~t for x X and [0, 0] < ~ ~
t [1, 1]. Then (x) t .
( x y ) ~t and y ~t but x ~t q , ~ ~
By Definition 2.3, (0) (x), we have
which is a contradiction. ~
If
~ ~
(x y) (y) [0.5, 0.5], then (0) ~t ,
~ that is
(x) [0.5, 0.5]. ~
0 ~t .
This implies
~ ~ ~ ~ r [1, 1] be such that
Let x, y X and [0, 0] < t , ~
(x y)[0.5, 0.5] and y[0.5, 0.5] but x [0.5, 0.5] q . ~ ~
Again a contradiction. Hence ( x y ) ~t and y ~r .
~ ~ ~
(x) (x y) (y) [0.5, 0.5]. Then
~ ~
~
Conversely, assume that satisfies the conditions (x y) ~t and (y) ~
r.
(E) and (F). Let x X and [0, 0] <
~ [1, 1] be such that By Definition 2.3, we have
t ~ ~ ~
~ ~ (x) (x y) (y)
x ~t . Then (x) ~ t . By condition (E), we have ~ r.
~ ~ t ~
(0) (x) [0.5, 0.5] This implies that
~ ~
t [0.5, 0.5]. x ~t ~r .
~ ~ ~ ~
If t [0.5, 0.5], then (0) t . This implies 0 ~t . ~
~ This shows that is an (, ) -interval valued fuzzy ideal
~
If t > [0.5, 0.5], then (0) [0.5, 0.5]. This implies of X.
~ ~
(0) + ~t > [0.5, 0.5] + [0.5, 0.5] = [1, 1], Conversely, assume that is an (, ) -interval
~
that is, 0 ~t q . Hence valued fuzzy ideal of X. Suppose there exists x X such that
~ ~
0 ~t q .
~ (0) (x).
~ [1, 1] such that
~ ~ t
Select [0, 0] <
Let x, y X and [0, 0] < t1 , t2 [1, 1] be such that ~ ~
~ ~ (0) ~t (x).
( x y) ~t1 and y ~t2 . ~ ~
Then x ~t but 0 ~t , which is a contradiction.
Then Hence
~ ~
(x y) ~t1 and (y) ~t2 . ~ ~
(0) (x), for all x X.
By condition (F), we have Now suppose there exist x, y X such that
~ ~ ~
(x) (x y) (y) [0.5, 0.5] ~ ~ ~
(x) (x y) (y).
~ ~
t1 t2 [0.5, 0.5]. Select [0, 0] <
~
t [1, 1] such that
~ ~ ~ ~ ~
If t1 t2 [0.5, 0.5], then (x) ~t (x y) (y).
~ ~ ~ ~
(x) ~t1
~.
t2 Then ( x y ) ~t and y ~t but x ~t , which
This implies is a contradiction. Hence
~ ~ ~ ~
x ~t1 ~t2 . (x) (x y) (y).
~ ~ > [0.5, 0.5], then ~
If t1 t2 This shows that is an interval valued fuzzy ideal of X.
~
(x) [0.5, 0.5]. Theorem 3.7. Every (, ) -interval valued fuzzy ideal of a
This implies
~ BF-algebra X is an (, q ) -interval valued fuzzy ideal
(x) + ~t1
~ > [0.5, 0.5] + [0.5, 0.5] = [1, 1],
t2
of X.
i.e.,
~ Proof. Straightforward.
x ~t1 ~t2 q .
Corollary 3.8. Every interval valued fuzzy ideal of a
Hence
~ BF-algebra X is an (, q ) -interval valued fuzzy ideal
x ~t1 ~t2 q .
of X.

5 www.ijeart.com
 Some properties of ( , ) -interval valued fuzzy ideals in BF-algebras

Proof. By Theorem 3.6, every interval valued fuzzy ideal of a Proof. Let I be an ideal of X. Let x X and [0, 0] <
~ [1,
t
BF-algebra X is an (, ) -interval valued fuzzy ideal of X. ~
1] be such that x ~t . Then
Hence by above Theorem 3.7, every interval valued fuzzy ~
ideal of X is an (, q ) -interval valued fuzzy ideal of (x) ~t > [0, 0].
X. Thus
~
(x)
[0.5, 0.5].
Next we show that when an (, q ) -interval This implies that x I. Since I is an ideal of X. So 0 I.
valued fuzzy ideal of a BF-algebra X is an (, ) -interval Hence
~
valued fuzzy ideal of X. (0) [0.5, 0.5].
~ [0.5, 0.5], then
If t
~ ~
Theorem 3.9. Let be an (, q ) -interval valued (0) [0.5, 0.5] ~t .
~ ~
fuzzy ideal of a BF-algebra X such that (x) [0.5, 0.5] for This implies that 0 ~t .
~ ~ > [0.5, 0.5], then
all x X. Then is an (, ) -interval valued fuzzy ideal Ift
~
of X.
~ (0) + ~t [0.5, 0.5] + [0.5, 0.5] > [1, 1]
Proof. Let x X and [0, 0] < t [1, 1] be such that ~
~ and so 0 ~t q . This implies that
x ~t . ~
0 ~t q .
Then
~ ~ r [1, 1] be such that
Let x, y X and [0, 0] < t , ~
(x) ~t . ~ ~
Since ( x y ) ~t and y ~r .
~ ~
(0) (x) [0.5, 0.5] Then
~ ~
~
= (x) (x y) ~t > [0, 0] and (y) ~
r > [0, 0].
~
t Thus
~ ~
we have (x y) [0.5, 0.5] and (y) [0.5, 0.5].
~
0 ~t . This implies that
~ ~ (x y) I and y I.
Now let x, y X and [0, 0] < t1 , t2 [1, 1] be such that Since I is an ideal of X. So
~ ~ x I.
( x y) ~t1 and y ~t2 .
Hence
~
Then
~ ~ (x) [0.5, 0.5].
(x y) ~t1 and (y) ~t2 . ~ r [0.5, 0.5], then
If t ~
~
(x) [0.5, 0.5] ~t ~
It follows from Theorem 3.5(F) that
~ ~ ~ r.
(x) (x y) (y) [0.5, 0.5] This implies that
~ ~ ~
= (x y) (y) x ~t ~r .
~ ~
t1 t2 . ~ ~
If t r > [0.5, 0.5], then
Thus ~
~ (x) + ~t ~r [0.5, 0.5] + [0.5, 0.5] > [1, 1]
x ~t1 ~t2 . and so
~ ~
Therefore is an (, ) -interval valued fuzzy ideal of X. x ~t ~r q .
Thus
~ ~
Corollary 3.10. Let be an (, q ) -interval valued x ~t ~r q .
~
fuzzy ideal of a BF-algebra X such that (x) [0.5, 0.5] for
~ ~
all x X. Then is an interval valued fuzzy ideal of X. Hence is an (, q ) -interval valued fuzzy ideal of
X.
Theorem 3.11. Let I be an ideal of a BF-algebra X. Then the
~
interval valued fuzzy set of X defined by Theorem 3.12. Let I be a non-empty subset of a BF-algebra
~
X. Then I is an ideal of X if the interval valued fuzzy set of
~ [0.5, 0.5] if x I X defined by
(x) =
[0, 0] otherwise,
~ [0.5, 0.5] if x I
(x) =
is an (, q ) -interval valued fuzzy ideal of X. [0, 0] otherwise,
is an ( q, q ) -interval valued fuzzy ideal of X.

6 www.ijeart.com
 International Journal of Engineering and Advanced Research Technology (IJEART)
ISSN: 2454-9290, Volume-1, Issue-4, October 2015

Proof. Let I be an ideal of X. Let x X and [0, 0] <

~ [1, ~
t x ~t q .
1] be such that
~ This implies that
x ~t q . ~ ~
x ~t or x ~t q .
Then ~
~ If x ~t q . This implies that
(x) + ~t
> [1, 1]
~
So x I. Since I is an ideal of X. So 0 I. Hence (x) + ~t
> [1, 1].
~ This implies that x I. Since I is an ideal of X. So 0 I.
(0) [0.5, 0.5].
~ [0.5, 0.5], then Hence
If t ~
~ ~. (0) [0.5, 0.5].
(0) [0.5, 0.5] t ~ [0.5, 0.5], then
If t
This implies that 0 ~t . ~ ~
~ (0) [0.5, 0.5] t .
If t > [0.5, 0.5], then ~
~ This implies that 0 ~t .
(0) + ~t [0.5, 0.5] + [0.5, 0.5] > [1, 1] ~
~ If t > [0.5, 0.5], then
and so 0 ~t q . This implies that ~
~ (0) + ~t [0.5, 0.5] + [0.5, 0.5] > [1, 1]
0 ~t q . ~
~ r [1, 1] be such that and so 0 ~t q . This implies that
Let x, y X and [0, 0] < t , ~ ~
~ ~ 0 ~t q .
( x y ) ~t q and y ~r q . ~ r [1, 1] be such that
Let x, y X and [0, 0] < t , ~
Then ~ ~
~
(x y) + ~t > [1, 1] and
~
(y) + ~
r > [1, 1]. ( x y ) ~t q and y ~r q .
So This implies that
(x y) I and y I.
~ ~
( x y ) ~t or ( x y ) ~t q
Since I is an ideal of X. So
and
x I. ~ ~
Thus y ~r or y ~r q .
~ ~ ~
(x) [0.5, 0.5]. If ( x y ) ~t q and y ~r q . This implies that
~ r [0.5, 0.5], then
If t ~ ~ ~
~ (x y) + ~t > [1, 1] and (y) + ~r > [1, 1].
(x) [0.5, 0.5] ~t ~
r. So
So (x y) I and y I.
~
x ~t ~r . Since I is an ideal of X. So
x I.
~ ~
If t r > 0.5, then Thus
~ ~
(x) + ~t ~r [0.5, 0.5] + [0.5, 0.5] > [1, 1] (x) [0.5, 0.5].
and so ~ ~
r [0.5, 0.5], then
If t
~
x ~t ~r q . ~
(x) [0.5, 0.5] ~t ~
r.
Thus So
~ ~
x ~t ~r q . x ~t ~r .
~ ~
If t r > [0.5, 0.5], then
~ ~
Hence is an ( q, q ) -interval valued fuzzy ideal of (x) + ~t ~r [0.5, 0.5] + [0.5, 0.5] > [1, 1]
X. and so
~
x ~t ~r q .
Theorem 3.13. Let I be a non-empty subset of a BF-algebra
~ Thus
X. Then I is an ideal of X if the interval valued fuzzy set of ~
X defined by
x ~t ~r q .
~
Hence is an ( q, q ) -interval valued fuzzy
~ [0.5, 0.5] if x I
(x) = ideal of X.
[0, 0] otherwise,
Theorem 3.14. The intersection of any family of
is an ( q, q ) -interval valued fuzzy ideal of X. (, q ) -interval valued fuzzy ideals of a BF-algebra X
Proof. Let I be an ideal of X. Let x X and [0, 0] <
~
t [1, is an (, q ) -interval valued fuzzy ideal of X.
1] be such that

7 www.ijeart.com
 Some properties of ( , ) -interval valued fuzzy ideals in BF-algebras

~ ~ ~
Proof. Let { i }i I be a family of (, q ) -interval ( i (x y) i (y) [0.5, 0.5])
iI
valued fuzzy ideals of a BF-algebra X and x X. So ~ ~
~ ~ = ( i )(x y) ( i )(y) [0.5, 0.5]
i (0) i (x) [0.5, 0.5] iI iI

for all i I. Thus Therefore

~ ~ ~ ~ ~
( i )(0) = ( i (0)) ( i )(x) ( i )(x y) ( i )(y) [0.5, 0.5].
iI iI iI iI iI
~
Hence, i is an (, q ) -interval valued fuzzy
~ iI
( i (x) [0.5, 0.5])
iI ideal of X.
~
= ( i )(x) [0.5, 0.5]. 6. CONCLUSION
iI
To investigate the structure of an algebraic system, we see
Thus
~ ~ that the interval valued fuzzy ideals with special properties
i )(0) ( i )(x) [0.5, 0.5].
( always play a fundamental role.
iI iI
~ In this paper, we introduce the concept of
Let x, y X. Since each i is an (, q ) -interval ( , ) -interval valued fuzzy ideals in BF-algebra, where
valued fuzzy ideal of X. So , are any one of , q , q , q and
~ ~ ~
i (x) i (x y) i (y) [0.5, 0.5] investigate some of their related properties. We prove that
for all i I. Thus every ( q, q ) -interval valued fuzzy ideal of a
~ ~ BF-algebra X is an (, q ) -interval valued fuzzy ideal
( i )(x) = ( i (x))
iI iI
~ ~ of X. We show that when an (, q ) -interval valued
( i (x y) i (y) [0.5, 0.5]) fuzzy ideal of a BF-algebra X is an (, ) -interval valued
iI
~ ~ fuzzy ideal of X. We also prove that the intersection and union
= ( i )(x y) ( i )(y) [0.5, 0.5].
iI iI of any family of (, q ) -interval valued fuzzy ideals of
Therefore a BF-algebra X is an (, q ) -interval valued fuzzy ideal
~ ~ ~
( i )(x) ( i )(x y) ( i )(y) [0.5, 0.5]. of X.
iI iI iI
We believe that the research along this direction can be
~
Hence, i is an (, q ) -interval valued fuzzy continued, and in fact, some results in this paper have already
iI
constituted a foundation for further investigation concerning
ideal of X. the further development of interval valued fuzzy BF-algebras
and their applications in other branches of algebra. In the
Theorem 3.15. The union of any family of future study of interval valued fuzzy BF-algebras, perhaps the
(, q ) -interval valued fuzzy ideals of a BF-algebra X following topics are worth to be considered:
is an (, q ) -interval valued fuzzy ideal of X.
~ (1) To characterize other classes of BF-algebras by using
Proof. Let { i }i I be a family of (, q ) -interval this notion;
valued fuzzy ideals of a BF-algebra X and x X. So (2) To apply this notion to some other algebraic structures;
~ ~ (3) To consider these results to some possible applications
i (0) i (x) [0.5, 0.5] in computer sciences and information systems in the
for all i I. Thus future.
~ ~
( i )(0) = ( i (0))
iI iI REFERENCES

~ [1] S. K. Bhakat, ( q ) -level subsets, Fuzzy Sets

( i (x) [0.5, 0.5])
iI and Systems, 103 (1999), 529-533.
~ S. K. Bhakat, (, q ) -fuzzy normal,
= ( i )(x) [0.5, 0.5]. [2]
iI
quasinormal and maximal subgroups, Fuzzy Sets
Thus and System, 112 (2000), 299-312.
~ ~ S. K. Bhakat and P. Das, (, q ) -fuzzy
i )(0) ( i )(x) [0.5, 0.5].
( [3]
iI iI
~ subgroups, Fuzzy Sets and System, 80 (1996),
Let x, y X. Since each i is an (, q ) -interval 359-368.
valued fuzzy p-ideal of X. So [4] R. Biswas, Rosenfelds fuzzy subgroups with
~ ~ ~ interval valued membership functions, Fuzzy Sets
i (x) i (x y) i (y) [0.5, 0.5] and System, 63 (1994), 87-90.
for all i I. Thus [5] A. K. Dutta and D. Hazarika,
~ ~ (, q )
( i )(x) = ( i (x)) -fuzzy ideals of BF-algebra,
iI iI

8 www.ijeart.com
 International Journal of Engineering and Advanced Research Technology (IJEART)
ISSN: 2454-9290, Volume-1, Issue-4, October 2015
International Mathematical Forum, 26(8) [26] O. G. Xi, Fuzzy BCK-algebra, Math. Japon., 36
(2013), 1253-1261. (1991), 935-942.
[6] B. Davvaz, (, q ) -fuzzy subnearrings and [27] L. A. Zadeh, Fuzzy sets, Inform. and Control, 8
(1965), 338-353.
ideals, Soft Comput., 10 (2006), 206-211. [28] L. A. Zadeh, The concept of a linguistic variable and
[7] G. Deschrijver, Arithmetic operators in its application to approximate reasoning-I, Inform.
interval-valued fuzzy theory, Inform. Sci., 177 Sci., 8 (1975), 199-249.
(2007), 2906-2924. [29] W. Zeng and H. Li, Relationship between similarity
[8] M. B. Gorzalczany, A method of inference in measure and entropy of interval-valued fuzzy set,
approximate reasoning based on interval valued Fuzzy Sets and Systems, 157 (2006), 1477-1484.
fuzzy sets, Fuzzy Sets and System, 21 (1987), 1-17. [30] J. Zhan, W. A. Dudek and and Y. B. Jun,
[9] A. R. Hadipour, On generalized fuzzy BF-algebras,
Interval-valued (, q ) -fuzzy filters of pseudo
FUZZ IEEE (2009), 1672-1676.
[10] Y. B. Jun, Interval-valued fuzzy subalgebras/ideals BL-algebras, Soft Computing - A Fusion of
in BCK-algebras, Sci. Math., 3 (2000), 435-444. Foundations, Methodologies and Applications, 13
Y. B. Jun, On ( , ) -fuzzy ideals of
(2008), 13-21.
[11]
[31] M. Zulfiqar, Some properties of ( , ) -fuzzy
BCK/BCI-algebras, Sci. Math. Japon., 60 (2004),
613-617. positive implicative ideals in BCK-algebras, Acta
Y. B. Jun, On ( , ) -fuzzy subalgebras of
Scientiarum. Technology, 35(2) (2013), 371-377.
[12]
[32] M. Zulfiqar, On sub-implicative ( , ) -fuzzy
BCK/BCI-algebras, Bull. Korean Math. Soc., 42
(2005), 703-711. ideals of BCH-algebras, Mathematical Reports, 1
Y. B. Jun, Fuzzy subalgebras of type ( , ) in
(2014), 141-161.
[13]
[33] M. Zulfiqar and M. Shabir, Positive implicative
BCK/BCI-algebras, Kyungpook Math. J., 47 (2007),
(, q ) -fuzzy ideals ( ( , q ) -fuzzy
403-410.
ideals, fuzzy ideals with thresholds) of
[14] Y. B. Jun, Generalizations of (, q ) -fuzzy
BCK-algebras, Mathematical Reports, 2(2014),
subalgebras in BCK/BCI-algebras, Comput.Math. 219-241.
Appl., 58 (2009), 1383-1390.
[15] K. B. Latha, D. R. P. Williams and E.
Chandrasekar, Interval-valued ( , ) -fuzzy Muhammad Idrees
subgroups I, Mathematica, Tome 52 (75) (2010), Email: idrees.math@hotmail.com
177-184.
[16] X. Ma, J. Zhan and Y. B. Jun, Interval-valued Abdul Rehman
(, q ) -fuzzy ideals of pseudo MV-algebras, Email: abdul_maths@yahoo.com
Int. J. Fuzzy Syst., 10 (2008), 84-91.
[17] X. Ma, J. Zhan, B. Davvaz and Y. B. Jun, Some kinds Muhammad Zulfiqar
Email: mzulfiqarshafi@hotmail.com
of (, q ) -interval valued fuzzy ideals of
BCI-algebras, Inform. Sci., 178 (2008), 3738-3754. Sardar Muhammad
[18] X. Ma, J. Zhan and Y. B. Jun, Some types of Email: sardar_77@yahoo.com
(, q ) -interval-valued fuzzy ideals of
BCI-algebras, Iranian J. of fuzzy Systems, 6 (2009),
53-63. Department of Mathematics1
[19] S. M. Mostafa, M. A. Abd-Elnaby and O. R. Elgendy, University of Balochistan Quetta
Interval-valued fuzzy KU-ideals in KU-algebras, Int. Pakistan
Math. Forum, 6 (64) (2011), 3151-3159.
[20] V. Murali, Fuzzy points of equivalent fuzzy subsets, &
Inform. Sci., 158 (2004), 277-288.
[21] P. M. Pu and Y. M. Liu, Fuzzy topology I: Department of Mathematics2
neighourhood structure of a fuzzy point and GC University Lahore
Moore-Smith convergence, J. Math. Anal. Appl., 76 Pakistan
(1980), 571-599.
[22] A. Rosenfeld, Fuzzy groups, J. Math. Anal. Appl.,
35 (1971), 512-517.
[23] A. B. Saeid, Some results on interval-valued fuzzy
BG-algebras, Proceedings of World Academy of
Science, Engineering and Technology, 5 (2005),
183-186.
[24] A. B. Saeid and M. A. Rezvani, On fuzzy
BF-algebras, Int. Math. Forum, 4(1) (2009), 13-25.
[25] A. Walendziak, On BF-algebras, Math. Slovaca,
57(2)(2007), 119-128.

9 www.ijeart.com