Advances in Vision Computing: An International Journal (AVC) Vol.2, No.

2, June 2015

MORE ON INTERVAL-VALUED INTUITIONISTIC

FUZZY SOFT MULTI SETS
Anjan Mukherjee1, Ajoy Kanti Das2 and Abhijit Saha3
1

Department of Mathematics,Tripura University, Agartala-799022,Tripura, INDIA,

2
Department of Mathematics, ICV-College, Belonia -799155, Tripura, INDIA,
3
Department of Mathematics, Techno India College, Agartala, Tripura, INDIA

ABSTRACT
In 2013, Mukherje et al. developed the concept of interval-valued intuitionistic fuzzy soft multi set as a
mathematical tool for making descriptions of the objective world more realistic, practical and accurate in
some cases, making it very promising. In this paper we define some operations in interval-valued
intuitionistic fuzzy soft multi set theory and show that the associative, distribution and De Morgans type of
results hold in interval-valued intuitionistic fuzzy soft multi set theory for the newly defined operations in
our way. Also, we define the necessity and possibility operations on interval-valued intuitionistic fuzzy soft
multi set theory and study their basic properties and some results.

KEYWORDS
Soft set, interval-valued intuitionistic fuzzy set, interval-valued intuitionistic fuzzy soft set, interval-valued
intuitionistic fuzzy soft multi set.

1.INTRODUCTION
In recent years vague concepts have been used in different areas such as computer application,
medical applications, information technology, pharmacology, economics and engineering since
the classical mathematics methods are inadequate to solve many complex problems in these areas.
In soft set theory there is no limited condition to the description of objects; so researchers can
choose the form of parameters they need, which greatly simplifies the decision making process
and make the process more efficient in the absence of partial information. Although many
mathematical tools are available for modelling uncertainties such as probability theory, fuzzy set
theory, rough set theory, interval valued mathematics etc, but there are inherent difficulties
associated with each of these techniques. Moreover all these techniques lack in the
parameterization of the tools and hence they could not be applied successfully in tackling
problems especially in areas like economic, environmental and social problems domains. Soft set
theory is standing in a unique way in the sense that it is free from the above difficulties.
In 1999, Molodstov [15] initiated the concept of soft set theory as a mathematical tool for dealing
with uncertainties. Later on Maji et al.[14] presented some new definitions on soft sets such as
subset, union, intersection and complements of soft sets and discussed in details the application of
soft set in decision making problem. Based on the analysis of several operations on soft sets
introduced in [15], Ali et al. [2] presented some new algebraic operations for soft sets and proved
that certain De Morgans law holds in soft set theory with respect to these new definitions.
Combining soft sets [15] with fuzzy sets [23] and intuitionistic fuzzy sets [5], Maji et al. defined
fuzzy soft sets [12] and intuitionistic fuzzy soft sets [13], which are rich potential for solving
decision making problems. Basu et al. [9] defined some operation in fuzzy soft set and
intuitionistic fuzzy soft set theory, such as extended intersection, restricted intersection, extended
union and restricted union etc. and Bora et al. [10] presented AND and OR operators in
intuitionistic fuzzy soft set theory and studied some results on intuitionistic fuzzy soft set theory.
DOI : 10.5121/avc.2015.2201

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

As a generalization of fuzzy set theory [23], intuitionistic fuzzy set theory [5] and interval-valued
intuitionistic fuzzy set theory [6] makes descriptions of the objective world more realistic,
practical and accurate in some cases, making it very promising. Jiang et al. [11] studied intervalvalued intuitionistic fuzzy soft sets and their properties.
Alkhazaleh and others [[1], [4], [7], [8], [22]] as a generalization of Molodtsovs soft set,
presented the definition of a soft multi set and its basic operations such as complement, union,
and intersection etc. In 2012, Alkhazaleh and other [3] introduced the concept of fuzzy soft multi
set theory as a generalization of soft multi set theory and studied the application of fuzzy soft
multi set based decision making problems and Mukherjee and Das [18] studied some results on
fuzzy soft multiset theory. Recently, Mukherjee et al. [[19], [21]] constructed the fundamental
theory on soft multi topological spaces and fuzzy soft multi topological spaces. Mukherjee and
Das [[16], [17]] introduced the concepts of intuitionistic fuzzy soft multi sets and studied
intuitionistic fuzzy soft multi topological spaces in details. Also they discussed the applications of
intuitionistic fuzzy soft multi sets in information system. Mukherjee et al. [20] also introduced the
concepts of interval valued intuitionistic fuzzy soft multi sets and studied their relation in details.
In fact all these concepts having a good application in other disciplines and real life problems are
now catching momentum. But, it is seen that all these theories have their own difficulties. In this
paper we have introduced some operations in interval-valued intuitionistic fuzzy soft multi set
theory and show that the associative, distribution and De Morgans type of results hold in
interval-valued intuitionistic fuzzy soft multi set theory for the newly defined operations in our
way. Also, we define the necessity and possibility operations on interval-valued intuitionistic
fuzzy soft multi set theory and study their basic properties. Also some new results along with
illustrating examples have been put forward in our work.

2.PRELIMINARY NOTES
In this section, we recall some basic notions in soft set theory, interval valued intuitionistic fuzzy
set theory, interval valued intuitionistic fuzzy soft set theory and interval valued intuitionistic
fuzzy soft multi set theory. Molodstov defined soft set in the following way. Let U be an initial
universe and E be a set of parameters. Let P(U) denotes the power set of U and AE.

Definition 2.1[15]
A pair (F, A) is called a soft set over U, where F is a mapping given by F: A P(U). In other
words, soft set over U is a parameterized family of subsets of the universe U.

Definition 2.2[6]
An interval valued intuitionistic fuzzy set A over an universe set U is defined as the object of the
form A={<x, A(x), A(x)>: xU}, where A: UInt ([0, 1]) and A: UInt ([0,1]) are
functions such that the condition: xU, 0 supA(x) + supA(x) 1 is satisfied, where Int
([0,1]) denotes the set of all closed sub intervals of [0,1].
The class of all interval valued intuitionistic fuzzy sets on U is denoted by IVIFS(U).

Definition 2.3 [11]

A pair (F, A) is called an interval valued intuitionistic fuzzy soft set over U, where F is a mapping
given by F: AIVIFS(U). For any parameter aA, F(a) can be written as

u
F (a ) =
: u U
L
U
L
U
([ F ( a ) (u ), F ( a ) (u )],[ F ( a ) (u ), F ( a ) (u )])

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

Definition 2.4[20]
Let {U i : i I } be a collection of universes such that I iI U i = and let { Ei : i I } be a collection
of sets of parameters. Let U = iI IVIFS (U i ) , E = iI EU i and A E . A pair (F, A) is called an
interval valued intuitionistic fuzzy soft multi set over U, where F is a mapping given by
F : A U , such that a A,

u
F (a) =
: u Ui : i I .
L
U
L
U
([ F ( a ) (u ), F ( a ) (u )],[ F ( a ) (u ), F ( a ) (u )])

Definition 2.5[20]
Let (F, A) and (G, B) be two interval valued intuitionistic fuzzy soft multisets over U. Then (F,
A) is called an interval valued intuitionistic fuzzy soft multi subset of (G, B) if

( a) A B and

(b) eU i , j ak , eU i , j , FeU , j
i

) is an interval valued intuitionistic fuzzy subset of ( e

Ui , j

, GeU , j ,
i

where ak A , k {1,2,3,..,n} , i {1,2,3,..,m} and j {1,2,3,..,r} . This relationship is

% (G, B)
denoted by (F, A)
Definition 2.6[20]
The complement of an interval valued intuitionistic fuzzy soft multi set (F, A) over U is denoted
by ( F , A)c and is defined by ( F , A)c = ( F c , A) , where a A,

u
F c ( a) = L
: u U i : i I
U
L
U
([ F ( a ) (u ), F ( a ) (u )],[ F ( a ) (u ), F ( a ) (u )])

Definition 2.7[20]
An interval valued intuitionistic fuzzy soft multiset (F, A) over U is called a null interval valued
intuitionistic fuzzy soft multiset, denoted by (F, A) , if all the interval valued intuitionistic fuzzy
soft multiset parts of (F, A) equals .

Definition 2.8[20]
An interval valued intuitionistic fuzzy soft multiset (F, A) over U is called an absolute interval

valued intuitionistic fuzzy soft multiset, denoted by (F, A)U , if eU i , j , FeU , j = U i , i .

i

Definition 2.9[20]
The union of two interval valued intuitionistic fuzzy soft multisets (F, A) and (G, B) over U is an
interval valued intuitionistic fuzzy soft multiset (H, D) where
D = A B and e D,

F (e),
if e A B

H (e) = G (e),
if e B A

U ( F (e), G (e) ) , if e A B

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

Where

U ( F (e), G (e) ) = FeU , j GeU , j i {1,2,3,..,m} with as an interval valued

i

% (G, B)=(H,D)
intuitionistic fuzzy union and is written as (F, A)

Definition 2.10[20]
The intersection of two interval valued intuitionistic fuzzy soft multisets (F, A) and (G, B) over U
is an interval valued intuitionistic fuzzy soft multiset (H, D) where

D = A B and e D,
F ( e ),
if e A B

H ( e ) = G ( e ),
if e B A

if e A B
I ( F ( e ), G ( e ) ) ,

where

I ( F (e), G (e) ) = FeU , j GeU , j i {1,2,3,..,n} with

i

as an interval valued

% (G, B)=(H,C)
intuitionistic fuzzy intersection and is written as (F, A)

3.SOME RESULTS ON INTERVAL-VALUED INTUITIONISTIC

FUZZY SOFT MULTI SETS
Definition 3.1
An interval-valued intuitionistic fuzzy soft multi set (F, A) over U is called an interval valued
intuitionistic fuzzy soft multi subset of an interval valued intuitionistic fuzzy soft multi set (G, B)
if
(a) A B and
(b) e A, F ( e) G ( e) FL (e) (u) GL(e) (u), UF (e) (u) GU(e) (u) and FL(e) (u) GL(e) (u), UF (e) (u) GU(e) (u)

u Ui , i I and this relationship is denoted by ( F , A) % (G, B).

Definition 3.2
The restricted union of two interval-valued intuitionistic fuzzy soft multi sets (F, A) and (G, B)
over U is an interval-valued intuitionistic fuzzy soft multi set (H, C), where C = A B and

e C ,

H (e ) = U ( F ( e ), G (e ) )

a
:
u

U
:
i

i
[max { L (u), L (u)} , max {U (u), U (u)}],[min { L (u), L (u)} , min { U (u), U (u)}]

F (e)
G( e )
F ( e)
G ( e)
F (e)
G( e )
F (e)
G (e)

nd is written as ( F , A)
% R (G, B) = ( H , C ).

Definition 3.3
The restricted intersection of two interval-valued intuitionistic fuzzy soft multi sets (F, A) and (G,
B) over U is an interval-valued intuitionistic fuzzy soft multi set (H, D) where D = A B and
e D, H (e) = I ( F (e), G(e) )

=
:
u

U
:
i

i
[min { L (u), L (u)} , min {U (u), U (u)}],[max { L (u), L (u)} , max { U (u), U (u)}]

F (e)
G(e)
F (e)
G(e)
F (e)
G(e)
F (e)
G(e)

and is written as ( F , A)
% R (G, B) = ( H , D).

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

Example 3.4
Let us consider there are two universes U1 = {h1 , h2 , h3} , U 2 = {c1 , c2 } and let

{E

U1

, EU 2

be a

collection of sets of decision parameters related to the above universes, where

{
= {e

EU1 = eU1 ,1 = expensive, eU1 ,2 = cheap, eU1 ,3 = wooden

EU1

= beautiful, eU 2 ,2 = model, eU 2 ,3 = sporty ,

U 2 ,1

Let U =

{
B = {e

2
i =1

FS (U i ) , E =

2
i =1

EUi and

}
)} .

A = e1 = (eU1 ,1 , eU 2 ,1 ), e2 = (eU1 ,1 , eU 2 ,2 ), e3 = ( eU1 ,2 , eU 2 ,1 ) ,

1

= (eU1 ,1 , eU 2 ,1 ), e2 = (eU1 ,1 , eU 2 ,2 ), e4 = (eU1 ,3 , eU 2 ,2

Suppose that

h1
h2
h3
c1
c2

,
,
,
,
,
[0.2,
0.3],[0.3,
0.4]
[0.4,
0.5][0.4,0.5]
[0.8,
0.9],[0,
0.1]
[0.4,
0.5],[0.3,
0.4]
) (
) (
) ([0.7, 0.8] ,[0.1, 0.2]) (
)
(

( F , A) = e1 ,

h3
h1
h2
c1
c2


e ,
,
,
,
,
,
2 ([0.8,0.9],[0, 0.1]) ([0, 7, 0.8],[0.1, 0.2]) ([1,1],[0, 0]) ([0.8, 0.8],[0.1, 0.1]) ([0.4, 0.5][0.3, 0.5])

h3
h1
h2
c1
c2
e3 ,
,
,
,
,
,
([ 0.7,0.8] ,[0.1, 0.2]) ([0.6, 0.7],[0.1, 0.3]) ([1,1],[0, 0]) ([0.2,0.3],[0.3, 0.4]) ([0.4,0.5][0.2, 0.3])

1
2
3
1
2
,
,
,
(G, B) = e1,
,
,
[0.4,0.5][0.3,0.4]
[0,7,0.8],[0.1,0.2]
[0.8,0.8],[0.1,0.1]
[0,7,0.8],[0.1,0.2]
[0.6,0.7],[0.1,0.3]
(
)
(
)
(
)
(
)
(
)

h3
c1
c2
h1
h2


e2 ,
,
,
,
,
,
([0.4,0.5][0.2,0.5]) ([0.8,0.9],[0,0.1]) ([1,1],[0,0]) ([0.4,0.5][0.2,0.3]) ([0.6,0.7],[0.1,0.3])

h1
h2
h3
c1
c2


e4 ,
,
,
,
,
,

([0.8,0.8],[0.1,0.1]) ([0.2,0.3],[0.3,0.4]) ([1,1],[0,0]) ([0.8,0.8],[0.1,0.1]) ([0,7,0.8],[0.1,0.2])

be two interval-valued intuitionistic fuzzy soft multi sets over U, then we have,
% R (G , B )
(i ). ( F , A)

h3
h1
h2
c1
c2


= e1 ,
,
,
,
,
,

([0.4, 0.5],[0.3, 0.4]) ([0.7, 0.8][0.1, 0.2]) ([0.8, 0.9],[0, 0.1]) ([0.7, 0.8] ,[0.1, 0.2]) ([0.6, 0.7],[0.1, 0.3])



h1
h2
h3
c1
c2

e2 ,
,
,
,
,

([0.8, 0.9],[0, 0.1]) ([0.8, 0.9],[0, 0.1]) ([1,1],[0, 0]) ([0.8, 0.8],[0.1, 0.1]) ([0.6, 0.7],[0.1, 0.3])

% R (G, B)
(ii). (F , A)


h1
h2
h3
c1
c2

= e1,
,
,
,
,
,

([0.2,0.3],[0.3,0.4]) ([0.4,0.5][0.4,0.5]) ([0.8,0.8],[0.1,0.1]) ([ 0.7,0.8] ,[0.1,0.2]) ([0.4,0.5],[0.3,0.4])

h1
h2
h3
c1
c2


e2 ,
,
,
,
,

([0.4,0.5][0.2,0.5]) ([0,7,0.8],[0.1,0.2]) ([1,1],[0,0]) ([0.4,0.5][0.2,0.3]) ([0.4,0.5][0.3,0.5])

Proposition 3.5 (Associative Laws)

Let (F, A), (G, B) and (H, C) are three interval valued intuitionistic fuzzy soft multi sets over U,
then we have the following properties:
1. ( F , A)
% R ( (G, B)
% R ( H , C ) ) = ( ( F , A)
% R (G, B) )
% R (H , C)
2. ( F , A)
% R ( (G, B)
% R ( H , C ) ) = ( ( F , A)
% R (G, B) )
% R (H , C)
5

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

Proof. 1. Assume that (G, B)

% R ( H , C ) = ( I , D) , where D = B C and e D,

I ( e ) = G ( e) H ( e )

= [min L (u ), L (u ) , min U (u ), U (u ) ],[max L (u ), L (u ) , max U (u ), U (u ) ] :

{ G ( e) H ( e) } { G (e ) H (e ) }
{ G (e) H (e ) } { G (e ) H ( e) }

u U i } : i I )

Since ( F , A)
% R ( (G, B)
% R ( H , C ) ) = ( F , A)
% R ( I , D) , we suppose that ( F , A)
% R ( I , D) = ( K , M ) where
M = A D = A B C and e M ,

u
K ( e ) = F (e ) I ( e ) =
: u U i : i I
( K ( e ) (u ), K ( e ) (u ) )

where K ( e ) (u ) = [min { FL ( e ) (u ), IL( e ) (u )} , min { FU ( e ) (u ), IU( e ) (u )}]

= [min FL ( e ) (u ), min { GL ( e ) (u ), HL ( e ) (u )} , min UF ( e ) (u ), min { GU ( e ) (u ), HU ( e ) (u )} ]

= [min {

L
F (e )

(u ),

L
G (e )

(u ),

L
H (e)

(u )} , min {

U
F (e)

(u ),

U
G (e )

(u ),

U
H (e )

(u )}]

and K ( e ) (u ) = [max { FL ( e ) (u ), IL( e ) (u )} , max { FU ( e ) (u ), IU( e ) (u )}]

= [max FL ( e ) (u ), max { GL ( e ) (u ), HL ( e ) (u )} , max UF ( e ) (u ), max { GU ( e ) (u ), HU ( e ) (u )} ]

= [max {

L
F (e )

(u ),

L
G (e )

(u ),

L
H (e )

(u )} , max {

U
F (e )

(u ),

U
G (e )

(u ),

U
H (e )

(u )}].

Suppose that ( F , A)
% R (G, B) = ( J , N ), where N = A B and e N ,

u
J (e ) = F (e ) G (e ) =
:u Ui:i I
( J ( e ) ( u ), J ( e ) ( u ) )

J ( e ) (u ) = [min { FL ( e ) (u ), GL ( e ) (u )} , min { FU( e ) (u ), GU( e ) (u )}],

J ( e ) (u ) = [max { FL ( e ) (u ), GL ( e ) (u )} , max { UF ( e ) (u ), GU( e ) (u )}]
Since ( ( F , A)
% R ( H , C ) = (O, N C ) where
% R (G, B) )
% R (H , C) = ( J , N )
% R ( H , C ) , we suppose that ( J , N )
e N C = A B C , O (e) = J (e) H (e) =

u
: u U i : i I

( O ( e) (u ), O ( e ) (u ) )

O ( e ) (u ) = [min { JL( e ) (u ), HL ( e ) (u )} , min { JU( e ) (u ), HU ( e) (u )}]

= [min min { FL ( e ) (u ), GL ( e ) (u )} , HL ( e ) (u ) , min min { UF ( e ) (u ), GU( e ) (u )} , UH ( e ) (u ) ]

= [min {

L
F (e)

(u ),

L
G (e )

(u ),

L
H (e )

(u )} , min {

U
F (e)

(u ),

U
G (e )

(u ),

U
H (e )

(u )}] = K ( e ) (u )

and

O ( e ) ( u ) = [ max { JL( e ) ( u ), HL ( e ) ( u )} , max { JU( e ) ( u ), HU ( e ) ( u )}]

= [ max max { FL ( e ) ( u ), GL ( e ) ( u )} , HL ( e ) ( u ) , max max { FU ( e ) ( u ), GU ( e ) ( u )} , HU ( e ) ( u ) ]

= [ max { FL ( e ) (u ), GL ( e ) ( u ), HL ( e ) ( u )} , max { FU ( e ) ( u ), GU ( e ) (u ), HU ( e ) ( u )}] = K ( e ) (u )

Consequently, K and O are the same operators. Thus

% R ( (G, B)
% R ( H , C ) ) = ( ( F , A)
% R (G, B) )
% R ( H , C ).
( F , A)
The proof of (2) is similar to that of (1).

Proposition 3.5 (Distributive Laws)

Let (F, A), (G, B) and (H, C) are three interval valued intuitionistic fuzzy soft multi sets over U,
then we have the following properties:
6

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

% R ( (G, B)
% R ( H , C ) ) = ( ( F , A)
% R (G, B) )
% R ( ( F , A)
% R (H , C))
(1). ( F , A)

% R ( (G, B)
% R ( H , C ) ) = ( ( F , A)
% R (G, B) )
% R ( ( F , A)
% R (H , C ))
(2). ( F , A)

Proof. (1). Assume that (G, B)

% R ( H , C ) = ( I , D) , where D = B C and e D,
I (e ) = G ( e) H ( e )

= [min L (u ), L (u ) , min U (u ), U (u ) ],[max L (u ), L (u ) , max U (u ), U (u ) ] :

{ G ( e) H ( e) } { G (e ) H (e ) }
{ G (e) H (e ) } { G (e ) H ( e) }

u U i } : i I )

Since ( F , A)
% R ( I , D) = ( K , M ) where
% R ( (G, B)
% R ( H , C ) ) = ( F , A)
% R ( I , D) , we suppose that ( F , A)
M = A D = A B C and e M ,

u
K ( e ) = F (e ) I ( e ) =
: u U i : i I
( K ( e ) (u ), K ( e ) (u ) )

where K ( e ) (u ) = [max { FL ( e ) (u ), IL( e ) (u )} , max { UF ( e ) (u ), UI ( e ) (u )}]

{
= [min {max {
min {max {

= [max FL ( e ) (u ), min { GL ( e ) (u ), HL ( e ) (u )} , max FU ( e ) (u ), min { GU ( e ) (u ), HU ( e ) (u )} ]

L
F (e)

(u ),

U
F (e)

L
G (e)

(u ),

(u )} , max {

U
G (e )

L
F (e)

(u )} , max {

(u ),

U
F (e )

L
H (e)

(u ),

}
(u )}}]

(u )} ,

U
H (e)

and K ( e ) (u ) = [min { FL ( e ) (u ), IL( e ) (u )} , min { FU ( e ) (u ), IU( e ) (u )}]

{
= [max {min {
max {min {

= [min FL ( e ) (u ), max { GL ( e ) (u ), HL ( e ) (u )} , min FU ( e ) (u ), max { GU ( e ) (u ), HU ( e ) (u )} ]

L
F (e )
U
F (e)

}
(u )}}].

(u ), GL ( e ) (u )} , min { FL ( e ) (u ), HL ( e ) (u )} ,
(u ),

U
G (e)

(u )} , min {

U
F (e)

(u ),

U
H (e)

Suppose that ( F , A)
% R (G, B) = ( J , N ), where N = A B and e N ,

u
J (e ) = F (e ) G (e ) =
:u Ui :i
( J ( e ) ( u ), J ( e ) ( u ) )

J ( e ) (u ) = [max { FL ( e ) (u ), GL ( e ) (u )} , max { UF ( e ) (u ), GU( e ) (u )}],

J ( e ) (u ) = [min { FL ( e ) (u ), GL ( e ) (u )} , min { FU( e ) (u ), GU( e ) (u )}]

Again, let ( F , A)
% R ( H , C ) = (S , T ), where T = A C and e T ,

S ( e ) = F ( e ) H ( e) =
: u U i : i I
( S ( e ) (u ), S ( e ) (u ) )

S ( e ) (u ) = [max { FL ( e ) (u ), HL ( e ) (u )} , max { FU ( e ) (u ), HU ( e ) (u )}],

S ( e ) (u ) = [min { FL ( e ) (u ), HL ( e ) (u )} , min { FU ( e ) (u ), UH ( e ) (u )}]

Since ( ( F , A)
% R (G, B) )
% R ( ( F , A)
% R (H , C)) = (J , N )
% R (S , T ) , we suppose that
% R ( S , T ) = (O, N T ) where e N T = A B C ,
(J , N )

u
: u U i : i I

( O ( e ) (u ), O ( e ) (u ) )

O (e ) = J ( e ) S (e ) =

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

O ( e ) (u ) = [min { JL( e ) (u ), SL( e ) (u )} , min { UJ ( e ) (u ), SU( e ) (u )}]

{
min {max {

}
(u )}}] =

= [min max { FL ( e ) (u ), GL ( e ) (u )} , max { FL ( e ) (u ), HL ( e ) (u )} ,

U
F ( e)

(u ), GU( e ) (u )} , max { FU ( e ) (u ), HU ( e )

K ( e)

(u )

and
O ( e ) (u ) = [max { JL( a ,b ) (u ), HL ( c ) (u )} , max { UJ ( a ,b ) (u ), HU (c ) (u )}]

{
max {min {

}
(u )}}] =

= [max min { FL ( e ) (u ), GL ( e ) (u )} , min { FU(e ) (u ), GU(e ) (u )} ,

L
F (e)

(u ), HL ( e ) (u )} , min { FU( e ) (u ), HU ( e )

K (e )

(u )

Consequently, K and O are the same operators. Thus

% R ( (G, B)
% R ( H , C ) ) = ( ( F , A)
% R (G, B) )
% R ( H , C ).
( F , A)
The proof of (2) is similar to that of (1).

Proposition 3.6 (De Morgan Laws)

For two interval-valued intuitionistic fuzzy soft multi sets (F, A) and (G, B) over U, then we have
c

[1]. ( ( F , A)
% R (G, B) ) = ( F , A)c
% R (G, B)c
[2]. ( ( F , A)
% R (G, B) )c = ( F , A)c
% R (G, B)c

Proof. [1]. Let ( F , A)

% R (G , B) = ( H , C ), where C = A B and e C ,
H ( e ) = U ( F ( e ), G ( e ) ) =

u

:
[ max { L (u ), L ( u )} , max { U ( u ), U (u )}],[min { L ( u ), L ( u )} , min { U ( u ), U ( u )}]
F (a )
G (a)
F (a)
G (a )
F (a)
G (a)
F (a)
G (a)

% R (G , B ) ) = ( H , C ) c = ( H c , C ), where C = A B and e C ,
u U i } : i I ) . Thus ( ( F , A )
c

H (e ) =

u

:
[ m in { L ( u ), L ( u )} , m in { U ( u ), U ( u )}], [ m ax { L ( u ), L ( u )} , m ax { U ( u ), U ( u )}]
F (a)
G (a)
F (a)
G (a)
F (a)
G (a )
F (a)
G (a)

% R ( G , B ) = ( K , D ) , w h e re D = A B a n d e D ,
u U i } : i I ) . A g a in , ( F , A )
c

K ( e ) = I ( F c ( e ), G c ( e ) ) =

u

:
[ m in { L ( u ), L ( u )} , m in { U ( u ), U ( u )}], [ m ax { L ( u ), L ( u )} , m ax { U ( u ), U ( u )}]
F (a)
G (a)
F (a)
G (a)
F (a)
G (a )
F (a)
G (a)

u U i} : i I ).

e see that C=D and e C , H c (e) = K (e) . Hence the result.

The other can be proved similarly.

Definition 3.7
The extended union of two interval-valued intuitionistic fuzzy soft multi sets (F, A) and (G, B)
over U is an intuitionistic fuzzy soft multi set (H, D), where D = A B and e D,
F ( e),
if e A B

H ( e ) = G (e ),
if e B A

U ( F ( e), G ( e ) ) , if e A B ,

u
: u Ui : i I
( H ( e ) (u ), H ( e ) (u ) )

where U ( F (e), G (e ) ) =

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

H ( e ) (u ) = [max { FL ( a ) (u ), GL ( a ) (u )} , max { FU( a ) (u ), GU( a ) (u )}]

and H ( e ) (u ) = [min { FL ( a ) (u ), GL ( a ) (u )} , min { FU ( a ) (u ), GU( a ) (u )}]

and is written as ( F , A)
% E (G, B) = ( H , D).

Definition 3.8
The extended intersection of two interval-valued intuitionistic fuzzy soft multi sets (F, A) and (G,
B) over U is an intuitionistic fuzzy soft multi set (H, D), where D = A B and e D,
F (e),
if e A B

H (e) = G (e),
if e B A

(
),
(
)
,
I
F
e
G
e
) if e A B
(

u
: u U i : i I
( H ( e ) (u ), H ( e ) (u ) )

where I ( F (e), G (e) ) =

H ( e ) (u ) = [max { FL ( a ) (u ), GL ( a ) (u )} , max { FU ( a ) (u ), GU ( a ) (u )}] and

H ( e ) (u ) = [min { FL ( a ) (u ), GL ( a ) (u )} , min { FU ( a ) (u ), GU ( a ) (u )}]
and is written as ( F , A)
% E (G, B) = ( H , D).

Example 3.9
If we consider two fuzzy soft multi sets (F, A) and (G, B) as in example 3.15, then we have
% E (G , B )
( i ). ( F , A )

h3
h1
h2
c1
c2


= e1 ,
,
,
,
,
,

[0.4,
0.5],[0.3,
0.4]
[0.7,
0.8][0.1,
0.2]
[0.8,
0.9],[0,
0.1]
[0.6,
0.7],[0.1,
0.3]
0.7,
0.8
,[0.1,
0.2]
(
) (
) (
) ([
)
]
) (


h3
c1
c2
h1
h2


e ,
,
,
,
,
,
2 ([0.8, 0.9],[0, 0.1] ) ([0.8, 0.9],[0, 0.1] ) ([1,1],[0, 0] ) ([0.8, 0.8],[0.1, 0.1] ) ([0.6, 0.7],[0.1, 0.3] )

h1
h2
h3
c1
c2
e3 ,
,
,
,
,

([ 0.7, 0.8 ] ,[0.1, 0.2] ) ([0.6, 0.7],[0.1, 0.3] ) ([1,1],[0, 0] ) ([0.2, 0.3],[0 .3, 0.4] ) ([0.4, 0.5][0.2, 0.3] )

h1
h2
h3
c1
c2


e4 ,
,
,
,
,
,
([0.8, 0.8],[0.1, 0.1] ) ([0.2, 0.3],[0.3, 0.4] ) ([1,1],[0, 0] ) ([0.8, 0.8],[0.1, 0.1] ) ([0, 7, 0.8],[0.1, 0.2] )

% E (G , B )
(ii ). ( F , A )



h3
h1
h2
c1
c2

= e1 ,
,
,
,
,
,

[0.2,
0.3],[0.3,
0.4]
[0.4,
0.5][0.4,
0.5]
[0.8,
0.8],[0.1,
0.1]
[0.4,
0.5],[0.3,
0.4]
0.7,
0.8
,[0.1,
0.2]
) (
) (
) ([
)
]
) (
(

h3
h1
h2
c1
c2


e2 ,
,
,
,
,
,
([0.4, 0.5][0.2, 0.5 ] ) ([0, 7, 0.8],[0.1, 0.2] ) ([1,1],[0, 0] ) ([0.4, 0.5][0.2, 0.3] ) ([0.4, 0.5][0.3, 0.5] )

h1
h2
h3
c1
c2


e3 ,
,
,
,
,
,
([ 0.7, 0.8 ] ,[0.1, 0.2] ) ([0.6, 0.7],[0.1, 0.3] ) ([1,1],[0, 0] ) ([0.2, 0.3],[0.3, 0.4] ) ([0.4, 0.5][0.2, 0.3] )



h3
h1
h2
c1
c2


e4 ,
,
,
,
,
,
([0.8, 0.8],[0.1, 0.1] ) ([0.2, 0.3],[0.3, 0.4] ) ([1,1],[0, 0] ) ([0.8, 0.8],[0.1, 0.1] ) ([0, 7, 0.8],[0.1, 0.2] )

Proposition 3.10 (Associative Laws)

Let (F, A), (G, B) and (H, C) are three interval-valued intuitionistic fuzzy soft multi sets over U,
then we have the following properties:
1. ( F , A)
% E ( (G, B)
% E ( H , C ) ) = ( ( F , A)
% E (G, B) )
% E (H , C)
9

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

2. ( F , A)
% E ( (G, B)
% E ( H , C ) ) = ( ( F , A)
% E (G, B) )
% E (H , C)

Proof. In the following, we shell prove (1); (2) is proved analogously.

1. Suppose that (G, B)
% E ( H , C ) = ( I , D) , where D = B C and e D,
G (e),
if e B C

I (e) = H (e),
if e C B

U ( G (e), H (e) ) , if e B C ,

Since ( F , A)
% E ( (G, B)
% E ( H , C ) ) = ( F , A)
% E ( I , D) , we suppose that ( F , A)
% E ( I , D) = ( J , M ) where
M = A D = A B C and e M ,
G (e),

H (e),

F (e),

J (e) = U ( G (e), H (e) ) ,

U ( F (e), H (e) ) ,
U ( G (e), F (e) ) ,

U ( F (e), G (e), H (e) ) ,

if e B C A
if e C B A
if e A B C
if e B C A,
if e A C B,
if e A B C ,
if e A B C ,

Assume that ( F , A)
% E (G, B) = ( K , S ) , where S = A B and e S ,
F (e),

K (e) = G (e),

U ( F (e), G (e) ) ,

if e A B
if e B A
if e A B,

Since ( ( F , A)
% E (G, B) )
% E (H , C) = (K , S )
% E ( H , C ) , we suppose that ( K , S )
% E ( H , C ) = ( L, T ) where
T = S C = A B C and e T ,
G (e),

H (e),

F (e),

L(e) = U ( G (e), H (e) ) ,

U ( F (e), H (e) ) ,
U ( G (e), F (e) ) ,

U ( F (e), G (e), H (e) ) ,

if e B C A
if e C B A
if e A B C
if e B C A,
if e A C B,
if e A B C ,
if e A B C ,

Therefore it is clear that M = T and e M , J (e) = L(e) , that is J and L are the same operators.
Thus ( F , A)
% E ( (G, B)
% E ( H , C ) ) = ( ( F , A)
% E (G, B) )
% E (H , C) .

Proposition 3.10 (Distributive Laws)

Let (F, A), (G, B) and (H, C) are three interval-valued intuitionistic fuzzy soft multi sets over U,
then we have the following properties:
% E ( (G, B)
% E ( H , C ) ) = ( ( F , A)
% E (G, B) )
% E ( ( F , A)
% E (H , C))
(1). ( F , A)

% E ( (G, B)
% E ( H , C ) ) = ( ( F , A)
% E (G, B) )
% E ( ( F , A)
% E (H , C))
(2). ( F , A)
10

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

Proof. In the following, we shell prove (1) and (2) is proved analogously.
(1). Suppose that (G, B)
% E ( H , C ) = ( I , D) , where D = B C and e D,
G (e),
if e B C

I (e) = H (e),
if e C B

U
G
(
e
),
H
(
e
)
,
) if e B C ,
(

Since ( F , A)
% E ( (G, B)
% E ( H , C ) ) = ( F , A)
% E ( I , D) , we suppose that ( F , A)
% E ( I , D) = ( J , M ) where
M = A D = A B C and e M ,
G (e),
if

H (e),
if

if
F (e),

J (e) = U ( G (e), H (e) ) ,

if

if
I ( F (e), H (e) ) ,
I ( F (e), G (e) ) ,
if

I ( F (e), U ( G (e), H (e) ) ) ,

e B C A
eC B A
e A B C
e B C A,
e A C B,
e A B C,
if e A B C ,

Assume that ( F , A)
% E (G, B) = ( K , S ) , where S = A B and e S ,
F (e),

K (e) = G (e),

I ( F (e), G (e) ) ,

if e A B
if e B A
if e A B,

and ( F , A)
% E ( H , C ) = ( N , T ) , where T = A C and e T ,
F (e),

N (e) = H (e),

I ( F (e), H (e) ) ,

if e A C
if e C A
if e A C ,

Since ( ( F , A)
% E (G, B) )
% E ( ( F , A)
% E (H , C)) = (K , S )
% E ( N , T ) , we suppose that ( K , S )
% E ( N , T ) = ( O, P )
where P = S T = ( A B ) ( A C ) = A B C and e P,
G (e),
if

H (e),
if

F
(
e
),
if

O(e) = U ( G (e), H (e) ) ,

if

I
F
(
e
),
H
(
e
)
,
if
)
(
I ( F (e), G (e) ) ,
if

I ( F (e), U ( G (e), H (e) ) ) ,

e B C A
eC B A
e A B C
e B C A,
e A C B,
e A B C,
if e A B C ,

Therefore it is clear that M = P and e M , J (e) = O(e) , that is J and O are the same
operators. Thus ( F , A)
% E ( (G, B)
% E ( H , C ) ) = ( ( F , A)
% E (G, B) )
% E ( ( F , A)
% E (H , C)) .

Proposition 3.11
For two interval-valued intuitionistic fuzzy soft multi sets (F, A) and (G, B) over U, then we have
1. ( ( F , A)
% E (G, B) )c % ( F , A)c
% E (G , B)c
2.

% E (G, B)c % ( ( F , A)
% E (G, B) )
( F , A)c

11

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

Proof. 1. Let ( F , A)
% E (G , B ) = ( H , C ), where C = A B and e C ,
F (e),
if e A B

H (e) = G (e),
if e B A

U ( F (e), G (e) ) , if e A B ,
where U ( F (e), G (e) ) =

u

[max { L (u ), L (u )} , max { U (u ), U (u )}],[min { L (u ), L (u )} , min { U (u ), U (u )}]
F (a )
G(a )
F (a)
G(a )
F (a)
G(a )
F (a)
G(a)

: u U i } : i I ) .

Thus ( ( F , A)
% E (G, B) )c = ( H , C )c = ( H c , C ), where C = A B and e C ,
F c (e),
if e A B

c
c
H (e) = G (e),
if e B A

c
( U ( F (e), G (e) ) ) , if e A B,
c

where ( U ( F (e), G (e) ) ) =

u

[min { L (u ), L (u )} , min { U (u ), U (u )}],[max { L (u ), L (u )} , max { U (u ), U (u )}]
F (a )
G(a)
F (a)
G(a )
F (a)
G(a)
F (a)
G(a)

: u U i } : i I ) .

Again, (F, A)c

% E (G, B)c = (F c , A)
% E (Gc , B) = ( K , D) . Where D = A B and e D,
F c (e),
if e A B

K (e) = G c (e),
if e B A

c
c
U ( F (e), G (e) ) , if e A B,
w here U ( F c ( e ), G c ( e ) ) =

u

:
[ m ax { L ( u ), L ( u )} , m ax { U ( u ), U ( u )}],[ m in { L ( u ), L ( u )} , m in { U ( u ), U ( u )}]
F (a)
G (a)
F (a)
G (a)
F (a)
G (a)
F (a)
G (a)

u U i } : i I ).

We see that C=D and e C , H c (e) K (e) . Thus ( ( F , A)

% E (G , B ) )c % ( F , A) c
% E (G , B )c .
The other can be proved similarly.

Proposition 3.12
For two interval-valued intuitionistic fuzzy soft multi sets (F, A) and (G, B) over U, then we have
1. ( ( F , A)
% R (G, B) )c % ( F , A)c
% R (G, B)c
c

2.

% R (G, B)c % ( ( F , A)
% R (G, B) )
( F , A)c

3.

( ( F , A) % R (G, B) )

4.

% R (G, B)c ( ( F , A)
% E (G, B) )
( F , A)c

% E (G , B)c
( F , A) c
c

Proof. Straight forward

12

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

Proposition 3.13 (De Morgan Laws)

For two interval-valued intuitionistic fuzzy soft multi sets (F, A) and (G, B) over U, then we have
1. ( ( F , A)
% E (G, B) )c = ( F , A)c
% E (G , B ) c
2.

( ( F , A) % E (G, B) )

% E (G , B ) c
= ( F , A)c

Proof. 1. Let ( F , A)
% E (G , B ) = ( H , C ), where C = A B and e C ,
F (e),
if e A B

H (e) = G (e),
if e B A

U ( F (e), G (e) ) , if e A B,
where U ( F (e), G (e) ) =

u

[max { L (u ), L (u )} , max { U (u ), U (u )}], [min { L (u ), L (u )} , min { U (u ), U (u )}]
F (a )
G(a)
F (a )
G (a )
F (a)
G (a )
F (a)
G (a )

: u U i } : i I ) .

Thus ( ( F , A)
% E (G, B) )c = ( H , C )c = ( H c , C ), where e C ,
F c ( e ),
if e A B

c
c
H ( e ) = G ( e ),
if e B A

c
if e A B ,
( U ( F ( e ), G ( e ) ) ) ,
w here

( U ( F ( e ), G ( e ) ) )

u

[ m in { L ( u ), L ( u )} , m in { U ( u ), U ( u )}], [ m ax { L ( u ), L ( u )} , m ax { U ( u ), U ( u )}]
F (a)
G (a )
F (a)
G (a )
F (a)
G (a)
F (a)
G (a)

: u U i } : i I ).

Again, (F, A)c

% E (G, B)c = (F c , A)
% E (Gc , B) = ( K , D) . Where D = A B and e D ,
F c (e),
if e A B
c
K (e) = G (e),
if e B A

c
c
U
F
(
e
),
G
(
e
)
,
) if e A B,
(

where U ( F c (e ), G c (e) ) =

u

:
[min { L (u ), L (u )} , min { U (u ), U (u )}],[max { L (u ), L (u )} , max { U (u ), U (u )}]
F (a)
G (a )
F (a)
G (a)
F (a)
G (a )
F (a)
G (a)

u U i } : i I ) .

We see that C=D and e C , H c (e) = K (e) . Thus ( ( F , A)

% E (G, B) )c = ( F , A)c
% E (G , B ) c .
The other can be proved similar

Definition 3.14
If (F, A) and (G, B) be two interval-valued intuitionistic fuzzy soft multi sets over U, then
" ( F , A ) AND ( G, B ) " is an interval-valued intuitionistic fuzzy soft multi set denoted by

( F , A) ( G, B ) and is defined by ( F , A) ( G, B ) = ( H , A B ) , where H is mapping given by H:

u
: u U i : i I ,
ABU and ( a, b ) A B, H (a, b) = I ( F (a), G (b) ) =

(u ), H ( a ,b ) (u ) )

( H ( a ,b )

13

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

where H ( a ,b ) (u ) = [min { FL ( a ) (u ), GL (b ) (u )} , min { FU ( a ) (u ), GU( b ) (u )}]

and H ( a ,b ) (u ) = [max { FL ( a ) (u ), GL ( b ) (u )} , max { FU ( a ) (u ), GU(b ) (u )}]

Definition 3.15
If (F, A) and (G, B) be two interval-valued intuitionistic fuzzy soft multi sets over U, then
" ( F , A ) OR ( G, B ) " is an interval-valued intuitionistic fuzzy soft multi set denoted by ( F , A) ( G, B )
and is defined by ( F , A) ( G, B ) = ( K , A B ) , where K is mapping given by K: ABU and

u
( a, b ) A B, K (a, b) = U ( F (a), G (b) ) =
: u Ui : i I ,
( K ( a ,b ) (u ), K ( a ,b ) (u ) )

where K ( a ,b ) (u ) = [max { FL ( a ) (u ), GL ( b ) (u )} , max { FU ( a ) (u ), GU( b ) (u )}]

and K ( a ,b ) (u ) = [min { FL ( a ) (u ), GL ( b ) (u )} , min { FU( a ) (u ), GU( b ) (u )}]

Example 3.16
Let us consider there are two universes U1 = {h1 , h2 , h3} , U 2 = {c1 , c2 } and let

{E

U1

, EU 2

be a

collection of sets of decision parameters related to the above universes, where

{
= {e

EU1 = eU1 ,1 = expensive, eU1 ,2 = cheap, eU1 ,3 = wooden

EU1

U 2 ,1

= beautiful, eU 2 ,2 = model, eU 2 ,3 = sporty ,

Let U = i2=1 FS (U i ) , E = i2=1 EUi and

A = e1 = ( eU1 ,1 , eU 2 ,1 ), e3 = (eU1 ,2 , eU 2 ,1 ) , B = e1 = (eU1 ,1 , eU 2 ,1 ), e4 = (eU1 ,3 , eU 2 ,2 ) .

Suppose that

[0.2, 0.3],[0.3, 0.4]) ([0.4, 0.5][0.4, 0.5]) ([0.8, 0.9],[0, 0.1]) ([ 0.7, 0.8] ,[0.1, 0.2]) ([0.4, 0.5],[0.3, 0.4])
(

( F , A) = e1 ,

h1

h2

h3

c1

c2

h1
h2
h3
c1
c2

e3 ,
,
,
,
,
,

0.7, 0.8] ,[0.1, 0.2]) ([0.6, 0.7],[0.1, 0.3]) ([1,1],[0, 0]) ([0.2, 0.3],[0.3, 0.4]) ([0.4, 0.5][0.2, 0.3])

([

([0.4, 0.5][0.3, 0.4] ) ([0, 7, 0.8],[0.1, 0.2] ) ([0.8, 0.8],[0.1, 0.1] ) ([0, 7, 0.8],[0.1, 0.2] ) ([0.6, 0.7],[0.1, 0.3] )

( G , B ) = e1 ,

h1

h2

h3

c1

c2

h3
h1
h2
c1
c2

e4 ,
,
,
,
,
,
([0.8, 0.8],[0.1, 0.1] ) ([0.2, 0.3],[0.3, 0.4] ) ([1,1],[0, 0] ) ([0.8, 0.8],[0.1, 0.1] ) ([0, 7, 0.8],[0.1, 0.2] )

be two interval-valued intuitionistic fuzzy soft multi sets over U, then we have,
(1). ( F , A ) ( G , B )

a



h1
h2
h3
c1
c2

= , ( e1 , e1 ) ,
,
,
,
,
,
([0.2, 0.3],[0.3, 0.4] ) ([0.4, 0.5][0.4, 0.5] ) ([0.8, 0.8],[0.1, 0.1] ) ([ 0.7, 0.8 ] ,[0.1, 0.2] ) ([0.4, 0.5],[0.3, 0.4] )

h3
h1
h2
c1
c2

( e1 , e4 ) ,
,
,
,
,
,
([0.2, 0.3],[0.3, 0.4] ) ([0.2, 0.3][0.4, 0.5] ) ([0.8, 0.9],[0, 0.1] ) ( [ 0.7, 0.8 ] ,[0.1, 0.2] ) ([0.4, 0.5],[0.3, 0.4] )

h1
h2
h3
c1
c2
( e3 , e1 ) ,
,
,
,
,
,
([0.4, 0.5][0.3, 0.4] ) ([0.6, 0.7],[0.1, 0.3] ) ([0.8, 0.8],[0.1, 0.1] ) ([0.2, 0.3],[0.3, 0.4] ) ([0.4, 0.5][0.2, 0.3] )

h1
h2
h3
c1
c2

( e3 , e4 ) ,
,
,
,
,

( [ 0.7, 0.8 ] ,[0.1, 0.2] ) ([0.2, 0.3],[0.3, 0.4] ) ([1,1],[0, 0] ) ([0.2, 0.3],[0.3, 0.4] ) ([0.4, 0.5][0.2, 0.3] )

nd
14

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015
(2).

( F , A ) (G , B )

h3
h1
h2
c1
c2
= ( e1 , e1 ) ,
,
,
,
,
,
([0.4, 0.5][0.3, 0.4] ) ([0, 7, 0.8],[0.1, 0.2] ) ([0.8, 0.9],[0, 0.1] ) ([0, 7, 0.8],[0.1, 0.2] ) ([0.6, 0.7],[0.1, 0.3] )

h2
h3
c1
c2
h1


(e , e ) ,
,
,
,
,
,
1 4 ([0.8, 0.8],[0.1, 0.1] ) ([0.4, 0.5][0.4, 0.5] ) ([1,1],[0, 0] ) ([0.8, 0.8],[0.1, 0.1] ) ([0, 7, 0.8],[0.1, 0.2] )

h3
h1
h2
c1
c2


(e , e ) ,
,
,
,
,
,
3 1 ([ 0.7, 0.8 ] ,[0.1, 0.2] ) ([0, 7, 0.8],[0.1, 0.2] ) ([1,1],[0, 0] ) ([0, 7, 0.8],[0.1, 0.2] ) ([0.6, 0.7],[0.1, 0.3] )

h1
h2
h3
c1
c2
(e , e ) ,
,
,
,
,

3 4 ([0.8, 0.8],[0.1, 0.1] ) ([0.6, 0.7],[0.1, 0.3] ) ([1,1],[0, 0] ) ([0.8, 0.8],[0.1, 0.1] ) ([0, 7, 0.8],[0.1, 0.2] )

Proposition 3.17
For two interval-valued intuitionistic fuzzy soft multi sets (F, A) and (G, B) over U, we have the
following
1. ( ( F , A) (G, B) )c = ( F , A)c (G, B)c
2. ( ( F , A) (G, B) )c = ( F , A)c (G, B)c

Proof. 1. Let ( F , A) (G, B) = ( H , A B), where a A and b B,

u
H ( a, b) = I ( F (a ), G (b) ) =
: u Ui : i I
( H ( a ,b ) (u ), H ( a ,b ) (u ) )

H ( a ,b ) (u ) = [min { FL ( a ) (u ), GL (b ) (u )} , min { FU ( a ) (u ), GU(b ) (u )}],

H ( a ,b ) (u ) = [max { FL ( a ) (u ), GL (b ) (u )} , max { FU( a ) (u ), GU(b ) (u )}]
Thus ( ( F , A) (G, B) )c = ( H , A B)c = ( H c , A B), where ( a, b ) A B,
c
H c (a, b) = ( H (a, b) ) =

u

:
[ m ax { L ( u ), L ( u )} , m ax { U ( u ), U ( u )}],[ m in { L ( u ), L ( u )} , m in { U ( u ), U ( u )}]
F (a)
G (a)
F (a)
G (a )
F (a )
G (a)
F (a )
G (a)

u U i} : i I ).

Again, let ( F , A)c (G, B)c = ( F c , A) (G c , B) = ( K , A B ) , where ( a, b ) A B,

K (a, b) = U ( F c (a ), G c (b) ) =

u

:
[ m a x { L ( u ), L ( u )} , m a x { U ( u ), U ( u ) }], [ m in { L ( u ), L ( u ) } , m in { U ( u ), U ( u )}]
F (a)
G (a)
F (a )
G (a)
F (a)
G (a)
F (a)
G (a)

u U i } : i I ).

Thus it follows that ( ( F , A) (G, B) )c = ( F , A)c (G, B)c .

The other can be proved similarly.

Proposition 3.18 (Associative Laws)

Let (F, A), (G, B) and (H, C) are three interval valued intuitionistic fuzzy soft multi sets over U,
then we have the following properties:

1. ( F , A) ( (G, B) ( H , C ) ) = ( ( F , A) (G, B) ) ( H , C )
15

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

2. ( F , A) ( (G, B) ( H , C ) ) = ( ( F , A) (G, B) ) ( H , C )
Proof. 1. Assume that (G, B) ( H , C ) = ( I , B C ) , where ( b, c ) B C , I (b, c) = G (b) H (c)
=

u
: u U i : i I

( I (b ,c ) (u ), I (b ,c ) (u ) )

I ( b,c ) (u ) = [min {GL (b ) (u ), HL ( c ) (u )} , min {GU(b ) (u ), HU ( c ) (u )}],

I (b,c ) (u ) = [max { GL (b ) (u ), HL ( c ) (u )} , max { GU(b ) (u ), HU ( c ) (u )}]

Since ( F , A) ( (G, B) ( H , C ) ) = ( F , A) ( I , B C ) , we suppose that ( F , A) ( I , B C ) = ( K , A ( B C ) ) where

u
( a , b, c ) A ( B C ) = A B C , K (a, b, c) = F (a ) I (b, c) =
: u U i : i I
( K ( a ,b , c ) (u ), K ( a ,b , c ) (u ) )

K ( a ,b ,c ) (u ) = [min { FL ( a ) (u ), IL(b ,c ) (u )} , min { UF ( a ) (u ), UI ( b,c ) (u )}]

= [min FL ( a ) (u ), min {GL (b ) (u ), HL ( c ) (u )} , min FU( a ) (u ), min {GU(b ) (u ), HU ( c ) (u )} ]

= [min {

L
F (a)

(u ),

L
G (b)

K ( a ,b ,c ) (u ) = [max {

= [max

L
F (a)

= [max {

L
F (a)

(u ),

L
F (a)

(u ), max {
(u ),

L
G (b)

L
H (c)

(u ),
L
G (b )

(u ),

(u )} , min {

L
I ( b ,c )

(u ),
L
H (c)

U
F (a)

(u )} , max {

L
H (c)

(u ),

U
F (a)

(u )} , max

(u )} , max {

U
F (a)

U
G (b)

(u ),
U
F (a)

(u ),

(u ),

U
I ( b,c )

U
H (c)

(u )}]

(u )}]

(u ), max { GU(b ) (u ), HU ( c ) (u )} ]

U
G (b)

(u ),

U
H (c)

(u )}].

We take (a, b) A B. Suppose that ( F , A) (G, B) = ( J , A B) where ( a, b ) A B,

: u Ui : i I

( J ( a ,b ) (u ), J ( a ,b ) (u ) )

J ( a, b) = F (a) G (b) =

J (a,b) (u) = [min{FL(a) (u), GL(b) (u)} , min{UF(a) (u), GU(b) (u)}],
J (a,b) (u) = [max{FL(a) (u),GL(b) (u)} , max{UF(a) (u),GU(b) (u)}]
Since ( ( F , A) (G, B) ) ( H , C ) = ( J , A B) ( H , C ) , we suppose that ( J , A B) ( H , C ) = (O, ( A B) C )
where ( a, b, c ) ( A B ) C = A B C ,

u
O(a, b, c ) = J (a, b) H (c) =
: u U i : i I
( O ( a ,b,c ) (u ), O ( a ,b ,c ) (u ) )

O ( a ,b ,c ) (u ) = [min { JL( a ,b ) (u ), HL ( c ) (u )} , min { JU( a ,b ) (u ), HU ( c ) (u )}]

= [min min { FL ( a ) (u ), GL ( b ) (u )} , HL ( c ) (u ) , min min { FU ( a ) (u ), GU(b ) (u )} , UH ( c ) (u ) ]

= [min { FL ( a ) (u ), GL ( b ) (u ), HL ( c ) (u )} , min { FU ( a ) (u ), GU(b ) (u ), HU ( c ) (u )}] = K ( a ,b ,c ) (u )

and

O(a,b,c) (u) = [max { JL(a,b) (u), HL (c) (u)} , max { UJ (a,b) (u), HU (c) (u)}]

= [max max { FL(a) (u), GL(b) (u)} , HL (c) (u) , max max { UF (a) (u), GU(b) (u)} , HU (c) (u) ]
= [max { FL(a) (u), GL(b) (u), HL (c) (u)} , max { FU(a) (u), GU(b) (u), HU (c) (u)}] = K (a,b,c) (u)
Consequently, K and O are the same operators. Thus
( F , A) ( (G, B) ( H , C ) ) = ( ( F , A) (G, B) ) ( H , C ).

The proof of (2) is similar to that of (1).

16

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

Definition 3.19
The necessity operation on an interval-valued intuitionistic fuzzy multi set (F, A) is denoted by
( F , A) and is defined as ( F , A) = ( F , A) , where a A

F (a) =
(

Here

F (a)

u
F ( a ) (u ),

: u U i : i I .

F ( a ) (u ) )

(u ) = [ FL ( a ) (u ), FU( a ) (u )] is the interval-valued fuzzy membership degree of the object

u U i holds on parameter a A ,

F (a)

(u ) = [1 FU( a ) (u ),1 FL ( a ) (u )] is the interval-valued fuzzy

membership degree of the object u U i does not hold on parameter a A .

Proposition 3.20
Let (F, A) and (G, B) are two interval-valued intuitionistic fuzzy soft multi sets over U, then we
have the following properties:
1. ( ( F , A)
% R (G, B) ) = ( F , A)
% R (G, B)

2.
3.
4.
5.

( ( F , A) % R (G, B) ) =
( ( F , A) % E (G, B) ) =
( ( F , A) % E (G, B) ) =

6.

( ( F , A) (G, B) ) =
( ( F , A) (G, B) ) =

7.

( F , A) = ( F , A)

% R (G, B)
( F , A)
% E (G, B)
( F , A)
% E (G, B)
( F , A)

( F , A) (G , B)
( F , A) (G , B)

Proof. 1. Assume that ( F , A)

% R (G, B) = ( H , C ) , where C = A B and e C ,
H (e) = U ( F (e), G(e) ) =

u

:
[max { L (u ), L (u )} , max {U (u ), U (u )}],[min { L (u ), L (u )} , min { U (u ), U (u )}]
F (e )
G (e )
F (e )
G (e )
F ( e)
G (e )
F ( e)
G (e )

u U i } : i I )

Thus ( ( F , A)
% R (G, B) ) = ( H , C ) = ( H , C ) , where e C

H (e) =
(

where
and

Also

( F , A) = ( F , A) ,

H (e)

H (e)

u
(
u
),

H (e)

: u Ui : i I ,

H ( e ) (u ) )

(u ) = [max { FL ( e ) (u ), GL ( e ) (u )} , max { FU( e ) (u ), GU( e ) (u )}]

(u ) = [1 max { UF ( e ) (u ), GU( e ) (u )} ,1 max { FL ( e ) (u ), GL ( e ) (u )}]

where e A

u
F (e ) = L
: u U i : i I
U
U
L
([ F ( e ) (u ), F ( e ) (u )],[1 F ( e ) (u ),1 F ( e ) (u )])

and (G, B) = ( G, B) , where e B

u
G ( e) = L
: u Ui : i I
U
U
L
([ G ( e ) (u ), G ( e ) (u )],[1 G ( e ) (u ),1 G ( e ) (u )])

17

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

Again, let ( F , A)
% R (G, B) = ( F , A)
% R ( G, B) = ( K , C ) , where C = A B and e C ,

u
K (e) = U ( F (e), G (e) ) =
: u Ui : i I ,
( K ( e ) (u ), K (e ) (u ) )

where K ( e ) (u ) = [max { FL ( e ) (u ), GL ( e ) (u )} , max { FU( e ) (u ), GU( e ) (u )}] =

and K ( e ) (u ) = [min {1

U
F (e)

= [1 max {

Consequently,

( H , C ) and

(u ),1

U
F (e )

(u ),

( K,C )

U
G (e )

U
G(e)

(u )} , min {1

(u )} ,1 max {

L
F (e)

L
F (e)

(u ),1

(u ),

L
G (e)

L
G(e)

H (e )

(u )

(u )}]

(u )}] =

H (e)

(u )

are the same interval-valued intuitionistic fuzzy soft

multi sets. Thus ( ( F , A)

% R (G, B) ) = ( F , A)
% R (G, B) .
The proofs of (2)-(7) are similar to that of (1).

Definition 3.21
The possibility operation on an interval-valued intuitionistic fuzzy multi set (F, A) is denoted by
( F , A) and is defined as ( F , A) = (F , A) , where a A

F (a ) =
: u U i : i I .
( F ( a ) (u ), F ( a ) (u ) )

Here F ( a ) (u ) = [ LF ( a ) (u ), UF ( a ) (u )] is the interval-valued fuzzy membership degree of the object

u U i does not hold on parameter a A , F ( a ) (u) = [1 UF ( a ) (u ),1 LF ( a ) (u )] is the intervalvalued fuzzy membership degree of the object u U i holds on parameter a A .

Proposition 3.22
Let (F, A) and (G, B) are two interval-valued intuitionistic fuzzy soft multi sets over U, then we
have the following properties:
1. ( ( F , A)
% R (G, B) ) = ( F , A)
% R (G, B)
2. ( ( F , A)
% R (G, B) ) = ( F , A)
% R (G, B)
3. ( ( F , A)
% E (G, B) ) = ( F , A)
% E (G, B)
4. ( ( F , A)
% E (G, B) ) = ( F , A)
% E (G, B)
5. ( ( F , A) (G, B) ) = ( F , A) (G, B)
6. ( ( F , A) (G, B) ) = ( F , A) (G, B)
7. ( F , A) = ( F , A)

Proof. 1. Assume that ( F , A)

% R (G, B) = ( H , C ) , where C = A B and e C ,
H (e) = U ( F (e), G(e) ) =

u

:
L
L
U
U
[max { (u ), (u )} , max { (u ), (u )}],[min { L (u ), L (u )} , min { U (u ), U (u )}]
F (e )
G (e )
F (e )
G (e )
F ( e)
G (e )
F ( e)
G (e )

u U i } : i I )

Thus ( ( F , A)
% R (G, B) ) = ( H , C ) = (H , C ) , where e C

u
H ( e ) =
: u U i : i I ,
( H ( e ) (u ), H ( e ) (u ) )

18

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

where H ( e ) (u ) = [1 min { FU( e ) (u ), GU( e ) (u )} ,1 min { FL ( e ) (u ), GL ( e ) (u )}]

and H (e ) (u ) = [min { FL ( e ) (u ), GL (e ) (u )} , min { FU( e ) (u ), GU( e ) (u )}]

Also

( F , A) = (F , A) ,

where e A

F ( e ) =
:
u

U
:
i

i
([1 FU( e ) (u ),1 FL ( e ) (u )],[ FL ( e ) (u ), FU( e ) (u )])

and (G, B) = (G, B) , where e B

G (e) =
:
u

U
:
i

i
([1 GU( e ) (u ),1 GL ( e ) (u )],[ GL ( e ) (u ), GU( e ) (u )])

Again, let ( F , A)
% R (G, B) = (F , A)
% R (G, B) = ( K , C ) , where C = A B and e C ,

u
K (e) = U ( F (e), G(e) ) =
: u U i : i I ,
( K ( e ) (u ), K ( e ) (u ) )

where K ( e ) (u ) = [max {1 UF ( e ) (u ),1 GU( e ) (u )} , max {1 FL ( e ) (u ),1 GL ( e ) (u )}]

= [1 min { UF ( e ) (u ), GU( e ) (u )} ,1 min { FL ( e ) (u ), GL ( e ) (u )}] = H ( e ) (u )

and K ( e ) (u ) = [min { FL ( e ) (u ), GL ( e ) (u )} , min { FU ( e ) (u ), GU( e ) (u )}] = H ( e ) (u )

Consequently, ( H , C ) and ( K , C ) are the same interval-valued intuitionistic fuzzy soft

multi sets. Thus ( ( F , A)
% R (G, B) ) = ( F , A)
% R (G, B) .
The proofs of (2)-(7) are similar to that of (1).

Proposition 3.23
Let (F, A) be any interval-valued intuitionistic fuzzy soft multi set over U, then we have the
following properties:
1. ( F , A) % ( F , A) % ( F , A)
2. ( F , A) = ( F , A)
3. ( F , A) = ( F , A)

Proof. Assume that (F, A) be any interval-valued intuitionistic fuzzy soft multi set over U, such
that e A,

u
F (e) = L
: u U i : i I
U
L
U
([ F ( e) (u), F (e) (u)],[ F (e ) (u ), F ( e) (u)])

Then, ( F , A) = ( F , A) , where e A

F ( e) =
:
u

U
:
i

I
i
([ FL ( e ) (u ), FU ( e ) (u )],[1 UF ( e ) (u ),1 FL ( e ) (u )])

and ( F , A) = (F , A) , where e A

F ( e ) =
:
u

U
:
i

I
.

i
([1 FU( e ) (u ),1 FL ( e ) (u )],[ FL ( e ) (u ), FU( e ) (u )])

19

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015

1. Since UF ( e ) (u ) + UF ( e ) (u ) 1, implies that 1 UF ( e ) (u ) FU( e ) (u ).

Hence 1 FU( e ) (u ) UF ( e ) (u ) FL ( e ) (u ) and 1 FL ( e ) (u ) 1 UF ( e ) (u ) FU( e ) (u ).

Thus

% ( F , A).
( F , A)

Again

since

U
F (e)

(u )

UF ( e ) (u ) + UF ( e ) (u ) 1,
U
F (e)

(u )

L
F (e)

(u )

and

implies

that
L
F (e)

1 FU( e ) (u ) FU( e ) (u ).

(u ) 1

U
F (e )

(u )

U
F (e )

(u ).

Hence
Thus

% ( F , A).
( F , A)

Consequently, ( F , A) % ( F , A) % ( F , A) .
2. We have, ( F , A) = ( F , A) , where e A

u
F ( e) = L
: u U i : i I
U
U
L
([ F ( e ) (u ), F ( e ) (u )],[1 F ( e ) (u ),1 F ( e ) (u )])

Therefore, ( F , A) = ( F , A), where e A

F (e) =
:
u

U
:
i

i
([1 (1 FL ( e ) (u )),1 (1 FU( e ) (u ))],[1 FU( e ) (u ),1 FL ( e ) (u )])

u
= F (e)
= L
:
u

U
:
i

i
[ (u ), UF ( e ) (u )],[1 UF ( e ) (u ),1 FL ( e ) (u )])

( F ( e )

Consequently,

( F , A) = ( F , A)

The proof of (3) is similar to that of (2).

3.CONCLUSIONS
In this study, we define some operations in interval-valued intuitionistic fuzzy soft multi set
theory and show that the associative, distribution and De Morgans type of results hold in
interval-valued intuitionistic fuzzy soft multi set theory for the newly defined operations in our
way. Also, we define the necessity and possibility operations on interval-valued intuitionistic
fuzzy soft multi set theory and study their basic properties and some results.

REFERENCES
[1] K.Alhazaymeh & N.Hassan,(2014) Vague Soft Multiset Theory, Int. J. Pure and Applied Math., Vol.
93, pp511-523.
[2] M.I.Ali,F.Feng,X. Liu, W.K. Minc & M. Shabir, (2009) On some new operations in soft set theory,
Comp. Math. Appl., vol. 57, pp1547-1553.
[3] S.Alkhazaleh & A.R. Salleh, (2012) Fuzzy Soft Multi sets Theory, Hindawi Publishing Corporation,
Abstract and Applied Analysis, Article ID 350603, 20 pages, doi: 10.1155/2012/350603.
[4] S.Alkhazaleh,A.R.Salleh & N. Hassan, (2011) Soft Multi sets Theory, Appl. Math. Sci., Vol. 5,
pp3561 3573.
[5] K.Atanassov,(1986) Intuitionistic fuzzy sets, Fuzzy Sets and Systems, Vol. 20, pp87-96.
[6] K.Atanassov & G.Gargov,(1989) Interval valued intuitionistic fuzzy sets, Fuzzy Sets and Systems,
Vol. 31, pp343-349.
[7] K.VBabitha & S.J.John,(2013) On Soft Multi sets, Ann. Fuzzy Math. Inform., Vol. 5 pp35-44.
[8] H.M.Balami & A. M.Ibrahim,(2013) Soft Multiset and its Application in Information System,
International Journal of scientific research and management, Vol. 1, pp471-482.

20

Advances in Vision Computing: An International Journal (AVC) Vol.2, No.2, June 2015
[9]

[10]
[11]
[12]
[13]
[14]
[15]
[16]
[17]
[18]
[19]
[20]
[21]
[22]

T.M.Basu, N.K. Mahapatra & S.K. Mondal, (2012) On some new operations in fuzzy soft set and
intuitionistic fuzzy soft set theory, Int. J. Comp. Sci. Inform. Technology and Security., Vol. 2,
pp408-417.
M.Bora,T.J.Nego & D.K. Sut, (2012) Some results on intuitionistic fuzzy soft sets, Int. J. Math.
Trends and Technology, Vol. 3, pp63-69.
Y.Jiang,Y.Tang,Q. Chen, H. Liu, J. Tang, (2010) Interval-valued intuitionistic fuzzy soft sets and
their properties, Computers and Mathematics with Applications, Vol. 60, pp906918.
P.K.Maji,R.Biswas & A.R. Roy,(2001) Fuzzy soft sets, J. Fuzzy Math., Vol. 9, pp589-602.
P.K.Maji,R.Biswas & A.R. Roy,(2001) Intuitionistic fuzzy soft sets, J. Fuzzy Math., Vol. 12,
pp677-692.
P.K.Maji,R.Biswas & A.R. Roy,(2003) Soft set theory, Comp. Math. Appl., Vol. 45 pp555-562.
D.Molodtsov,(1999) Soft set theory-first results, Comp. Math. Appl., Vol. 37, pp19-31.
A.Mukherjee & A.K.Das,(2014)Parameterized Topological Space Induced by an Intuitionistic Fuzzy
Soft Multi Topological Space, Ann. Pure and Applied Math., Vol. 7, pp7-12.
A.Mukherjee & A.K.Das,(2015)Some results on fuzzy soft multi sets, Int. J. Cybernetics &
Informatics., Vol. 4, pp51-65.
A.Mukherjee & A.K.Das,(2013)Topological structure formed by fuzzy soft multisets, Rev. Bull.
Cal. Math. Soc., Vol. 21, No.2, pp193-212.
A.Mukherjee,A.Saha & A.K. Das,(2013) Interval-valued intuitionistic fuzzy soft multi set and their
relations, Ann. Fuzzy Math. Inform., Vol. 6, pp781-798.
A.Mukherjee,A.K. Das & A. Saha, (2014) Topological structure formed by soft multi sets and soft
multi compact space, Annals of Fuzzy Mathematics and Informatics, Vol. 7, pp919-933
D.Tokat & I. Osmanoglu,(2011)Soft multi set and soft multi topology, Nevsehir Universitesi Fen
Bilimleri Enstitusu Dergisi Cilt., Vol. 2, pp109-118.
L.A.Zadeh,(1965)Fuzzy sets,Inform. Control.,Vol. 8,pp338-353..

21