A NEW ASPECT OF

DOUBLE-FRAMED NORMAL FUZZY

SOFT IDEAL STRUCTURES OVER
HEMI RINGS
[Link] Hussain∗
Associate Professor PG & Research
Department of Mathematics,
Jamal Mohamed College, (Autonomous)
Trichrappalli - 620 020, India.
K. Sampath†
Research Scholar, PG & Research
Department of Mathematics,
Jamal Mohamed College, (Autonomous)
Trichrappalli - 620 020, India.
[Link] ‡
Assistant Professor
Department of Mathematics,
Bharathiar University,
Coimbatore - 641 046, India.

Abstract: In this paper, we provide a general algebraic frame

work for handling double-framed information by combining the
theory of double-framed fuzzy soft sets with hemi rings. First,
∗
[Link]:hssn jhr@[Link] ([Link] Hussain)
†
[Link]: sampathmath81@[Link]. ( K. Sampath)
‡
[Link]: jrmsathya@[Link]. ([Link])

1
we present the concepts of double-framed fuzzy soft h-ideals and
normal double-framed fuzzy soft h-ideals. Second, the character-
izations of double-framed fuzzy soft h-ideals are investigated by
means of positive t-cut, negative s-cut and homomorphism. Third,
we give a general algorithm to solve decision making problems by
using double-framed fuzzy soft set.
Key words: Soft set, Hemi ring, Double-framed fuzzy soft set,
Double-framed fuzzy soft h-ideal, comparison table,. γ-inclusive,
δ-exclusive

AMS Subject Classification [2000]: 03E70, 08E40

1 Introduction:
Aktas and Cagman[1] studied the basic concepts of soft set theory,
and compared soft sets to fuzzy and rough sets, providing examples
to clarify their differences. They also discussed the notion of soft
groups. [Link], [Link] [2] defined the concept of Soft semi rings. In
1999, Molodtsov introduced soft set theory [12] as an alternative
approach to fuzzy set theory [16] defined by Zadeh in 1965. After
Molodtsovs study, many researchers have studied on set theoreti-
cal approaches and decision making applications of soft sets. For
example [Link][11] defined some new operations of soft sets and
gave a decision making method on soft sets. Jun [Link][[5],[6]] intro-
duced the notion of double-framed soft sets (briefly, DFS-sets), and
applied it to BCK/BCI- algebras. They discussed double-framed
soft algebras (briefly, DFS-algebras) and investigated related prop-
erties. [Link] [6] defined Double-framed soft BF-algebras
and [Link] [13] studied on double-framed soft Near-rings.

2
Fuzzy set is a type of important mathematical structure to repre-
sent a collection of objects whose boundary is vague. There are
several types of fuzzy set extensions in the fuzzy set theory, for ex-
ample, intuitionistic fuzzy sets, interval fuzzy sets, vague sets etc.
double-framed fuzzy set is another an extension of fuzzy set whose
membership degree range is different from the above extensions.
In 2000 , Lee [[9][10]] imitated an extension of of fuzzy set named
bipolar valued fuzzy sets. He gave two kinds of representations of
the notion of bipolar- valued fuzzy sets. In case of Bi-polar-Valued
fuzzy sets membership degree range is enlarged from the interval
[0, 1] to [−1, 0]. Ideals of hemi rings, as a kind of special hemi ring,
play a crucial role in the algebraic structure theories since many
properties of hemi rings are characterized by ideals. How-ever, in
general, ideals in hemi rings do not coincide with the ideals in rings.
Subsequently, La Torre [8] studied thoroughly the properties of the
h-ideals and k-ideals of hemi rings. The rest of this paper organized
as follows. Section-2 reviews some basic ideas related with this pa-
per. In section-3, we propose main results of double-framed fuzzy
soft h-ideals. Normal double-framed fuzzy soft h-ideals are stud-
ied in chapter-4. An algorithm approach is proposed in section-5
to present the application of double-framed fuzzy soft set in de-
cision making followed by a numerical example. Finally the key
conclusions are given in section-5.

2 Preliminaries
In this section, we review some definitions, regarding hemi rings [8]
and double-framed fuzzy soft sets [6].
Suppose that (S, +) and (S, ·) are two semi groups, then the alge-

3
braic system (S, +, ·) is called a semi ring, in which the two alge-
braic structures are connected by the distributive laws: a.(b + c) =
a.b + a.c and (b + c).a = b.a + c.a for all a, b, c ∈ S.
The zero element of a semi ring (S, +, ·) is an element 0 ∈ S sat-
isfying 0 · x = x · 0 = 0 and x + 0 = 0 + x = x for all x ∈ S. A
semi ring with zero and a commutative semi group (S, +) is called
a hemi ring.
A non-empty subset I of a hemi ring S is called a left (resp., right)
ideal of S if I is closed with respect to addition and SI is subset of
I (resp., IS is subset of I) I is called an ideal of S if it is both a
left and a right ideal of S.
A left (resp., right) ideal of a hemi ring S is called a left (resp.,
right) h-ideal if any x, z ∈ S, any a, b ∈ A and x + a + z = b + z
implies x ∈ A.
A mapping f from a hemi ring S to A semi ring T is said to be
a homomorphism if for all x, y ∈ S. f (x + y) = f (x) + f (y)and
f (xy) = f (x).f (y).
Through out this paper, we only give the proof of results about
left cases because the proof of results about right classes can be
conducted by similar methods. In order to facilitate discussion, S
and T are hemi rings unless otherwise specified.
Through out the paper, U refers to an initial universe, E is a set
of parameters and P (U ) is the power set of U . ⊂ and ⊃ stand for
proper subset and super set, respectively.

Definition 2.1 (12). For any subset A of E, a soft set λA over U

is a set, defined by a function λA , representing the mapping λA :
E → P (U ). A soft set over U can also be represented by the set of
ordered pairs λA = {(x, λA (x)) ; x ∈ E, λA (x) ∈ P (U )} . Note that
the set of all soft sets over U will be denoted by S(U ).

4
Definition 2.2 (12). Let λ, µ ∈ S(U ). Then

(i) If λ(e) = ∅ for all e ∈ E, λ is said to be a null soft set,

denoted by ∅.

(ii) If λ(e) = U for all e ∈ E, λ is said to be an absolute soft set,

denoted by U .

(iii) λ is a soft subset of µ, denoted λ ⊆ µ, if λ(e) ⊆ µ(e) for all

e ∈ E.

(iv) Soft union of λ and µ, denoted by λ ∪ µ, is a soft set over U

and defined by
λ ∪ µ : E → P (U ) such that (λ ∪ µ)(e) = λ(e) ∪ µ(e) for all
e ∈ E.

(v) λ = µ, if λ ⊆ µ and λ ⊇ µ.

(vi) Soft intersection of λ and µ, denoted by λ ∩ µ, is a soft set

over U and defined by λ∩µ : E → P (U ) such that (λ∩µ)(e) =
λ(e) ∩ µ(e) for all e ∈ E.

(vii) Soft complement of λ is denoted by λC and defined by λC :

E → P (U ) such that λC (e) = ∪/λ(e) for all e ∈ E.

Definition 2.3. Let E be a parameter set, S ⊂ E and λ : S → E

be an injection function. Then S ∪λ(s) is called extended parameter
set of S and denoted by ξS .
If S = E, then extended parameter set of S will be denoted by
ξ.
( )
Note 2.1. Let λS = α¯S , β¯S , E be a double framed soft set over
( )
U . We will say that λS (e) = α¯S (e), β¯S (e) is image of parameter
e ∈ E.

5
Definition 2.4. Let λA and λB ∈ DF SE(U ) then,

(i) If αA (e) = ∅ and βA (e) = U for all e ∈ E, αA is said to be a

null double-framed soft set, denoted by ∅b = (∅, U, E).

(ii) If αA (e) = U and βA (e) = ∅ for all e ∈ E, αA is said to be

an absolute double-framed soft set, denoted by ∅b = (U, ∅, E).

(iii) λA is double-framed soft subset of λB , denoted by λA ⊆ λB , if

αA (e) ⊆ αB (e) and βA (e) ⊇ βB (e) for all e ∈ E.

(iv) Double framed soft union and intersection of λA andλB , de-

noted by
(αA ∪ αB ) : A ∪ B → P (U ) such that (αA ∪ αB ) (e) = αA (e) ∪
αB (e) and
(βA ∩ βB ) (e) = βA (e) ∩ βB (e) for all e ∈ E.
Also (αA ∩ αB ) : A ∩ B → P (U ) such that (αA ∩ αB ) (e) =
αA (e) ∩ αB (e) and
(βA ∪ βB ) (e) = βA (e) ∪ βB (e) for all e ∈ E.

(v) Double framed soft complement of λA is denoted by λC

A and

defined by
A : E → P (U )×P (U ) such that λA (e) = {(e, αA (e), βA (e)) : e ∈ E}.
λC C

Definition 2.5. A double-framed fuzzy soft set (F, A) is said to be

a null double-framed fuzzy soft set denoted by empty set Φ, if for
all e ∈ A, F (e) = Φ.

Definition 2.6. A double-framed fuzzy soft set (F, A) is said to be

an absolute double-framed fuzzy soft set, if for all e ∈ A, F (e) =
DF U .

Definition 2.7. The complement of a double-framed fuzzy soft set

{( ) }
(F, A) is denoted (F, A)c and is denoted by (F, A)c = x, 1 − αA
+
(x), 1 − βA− (x) ; x ∈ U .

6
Definition 2.8. A double-framed fuzzy soft set A(αA , βA ) of S is
called a double-framed fuzzy soft left (resp., right) h-ideal of S pro-
vided that for all x, y, z, a, b ∈ S;
(BFShI1) αA (x+y) ≥ min {αA (x), αA (y)} , βA (x+y) ≤ max {βA (x), βA (y)},
(BFShI2) αA (xy) ≥ max {αA (x), αA (y)} , βA (xy) ≤ min {βA (x), βA (y)},
(BFShI3) x+a+z = b+z implies αA (x) ≥ min {αA (a), αA (b)} , βA (x) ≤
max {βA (a), βA (b)}.
A double-framed fuzzy soft set which is a double-framed fuzzy left
and right h-ideal of S is called a double-framed fuzzy soft h-ideal
of S. In this paper, the collection of all double-framed fuzzy soft
h-ideals of S is denoted by DFShI(S) in short.

Example 2.1. Let S = 0, 1, 2, 3 be a set with the addition operation

(+) and the multiplication (•) as follows;

+ 0 1 2 3 · 0 1 2 3
0 0 1 2 3 0 0 0 0 0
1 1 1 2 3 1 0 1 1 1
2 2 2 2 3 2 0 1 1 1
3 3 3 3 3 3 0 1 1 1

Then S is a hemi ring. Define a double-framed

fuzzy soft set A as follows
By routine calculations, we know that A is a double-framed fuzzy

0 1 2 3
αA 0.3 0.7 0.5 0.2
βA 0.5 0.6 0.7 0.1

soft h-ideals of S.
An interesting consequence of double-framed fuzzy soft h-ideals of
hemi rings is the following.

Proposition 2.1. Let A be a non-empty subset of S. A double-

7
framed fuzzy soft set A = (αA , βA ) is defined by
{ {
m1, if x ∈ A n1, if x ∈ A
αA (x) = and βA (x) =
m2 otherwise n2 otherwise
where 0 ≤ m2 ≤ m1 ≤ 1, −1 ≤ n1 ≤ n2 ≤ 0 is a double-framed
fuzzy soft h-ideal of S if and only if A is a left (resp., right) h-ideal
of S.

The research about the relationships of fuzzy sub algebras and

crisp sub algebras by cut sets is usual. But important, as it is
a tie which can connect abstract algebraic structures and fuzzy
ones. However, now we encounter a significant challenge that the
traditional cut sets are not suitable for the frame work of double-
framed fuzzy soft h-ideals of hemi rings because the characterization
of double-framed idea.
As a consequence, we defined γ-inclusive set and the δ-exclusive set

Definition 2.9. (6) A double-framed pair ((ᾱ, λ̄) : G) is called a

double-framed soft set (briefly DFS-set) over U where ᾱ and λ̄ are
mapping from A to P (U ).
⟨ ⟩
For a DFS-set (ᾱ, λ̄) : G over U and two subsets γ and δ of U ,
⟨ ⟩
the γ-inclusive set and the δ-exclusive set of (ᾱ, λ̄) : G , denoted
by iA (ᾱ; γ) and eA (λ̄, δ) respectively, are defined as follows.
{ }
iA (ᾱ; γ) = {x ∈ A/γ ⊆ ᾱ(x)} and eA (λ̄, δ) = x ∈ A/δ ⊆ λ̄(x)
{ }
respectively. The set DFA (ᾱ, λ̄)(γ,δ) = x ∈ A/γ ⊆ ᾱ(x), δ ⊆ λ̄(x)
is called a double-framed including set of < ᾱ, λ̄ : G >. It is clear
that DFA (ᾱ, λ̄)(γ,δ) = iA (ᾱ; γ) ∩ eA (λ̄, δ).
From now on, we will take G, as set of parameters, which is
a group unless otherwise specified. fuzzy soft set of S and (s, t) ∈
[−1, 0]×[0, 1]. we define At {x ∈ S/αA (x) ≥ γ} and As {x ∈ S/βA (x) ≥ δ}
and call them γ-inclusive set and the δ-exclusive set of A respec-
tively. For any k ∈ [0, 1], the set Ak ∩ Ak is called the k-cut of

8
A. From the definition 2.8 , we can easily obtained the relation of
double-framed fuzzy soft h-ideals of hemi rings.

3 Main results
In this section we discuss the properties of the cut sets, image and
pre-image of double-framed fuzzy soft h-ideals by homomorphism
of hemi rings

Theorem 3.1. Let A be a double-framed fuzzy soft set S. Then A

is a double-framed fuzzy soft left (resp., right) h-ideal of S if and
only if the following hold;

(i) For all γ ∈ [0, 1], Aγ ̸= Φ implies Aγ is a left (resp., right)

h-ideal of S.

(ii) For all δ ∈ [0, 1], Aδ ̸= Φ implies Aδ is a left (resp., right)

h-ideal of S.

Proof: Let A be double-framed fuzzy soft h-ideal of S and

γ ∈ [0, 1] with Aγ ̸= Φ. Then αA (x) ≥ γ, αA (y) ≥ γ for all
x, y ∈ Aγ , δ ∈ S It implies that
αA (x+y) ≥ min {αA (x), αA (y)} ≥ γ and αA (xy) ≥ max {αA (x), αA (y)} ≥
γ, that is x + y, xy ∈ αA .
Moreover x, z ∈ S, a, b ∈ Aγ with x + a + z = b + z. Then
αA (x) ≥ min {αA (a), αA (b)} ≥ γ. This means that x ∈ Aγ . Hence
αA is a left h-ideal of S.
Analogously, we can prove (ii).
Conversly, assume (i), (ii) are all valid.
For any x ∈ S, if αA (x) = γ, βA (x) = δ, then Aγ ∩ Aδ . Thus
Aγ and Aδ are non empty. Suppose that A is not a double-framed
fuzzy soft h-ideal of S, then there exists x, z, a, b ∈ S, such that

9
x + a + z = b + z, αA (x) < γ < min {αA (a), αA (b)} and βA (x) >
δ > max {βA (a), βA (b)}. Therefore a, b ∈ Aγ but x ̸= Aγ and
a, b ∈ Aδ but x does not belong to Aδ . This is a contradiction.
Therefore A is a double-framed fuzzy soft h-ideal of S.
As immediate consequence of theorem 3.1 , we have the following.

Corollary 3.1. If A is a double-framed fuzzy soft h-ideal of S, then

the k-cut of A is a double-framed soft h-ideal of S for all k ∈ [0, 1].

For the sake of simplicity, we denote S (t,s) for the set x ∈ S/µ+
A (x) ≥ t∩

x ∈ S/µ−
A (x) ≤ t where A = (αA (x), βA (x)).

Corollary 3.2. If A is a double-framed fuzzy soft left (resp., right)

h-ideal of S, then S (γ,δ) is a left (resp., right) h-ideal of S for all
(γ, δ) ∈ [0, 1] × [−1, 0]. In particular, the non empty k-cut of A is
an h-ideal of S for all k ∈ [0, 1].

Theorem 3.2. Assume that A DF ShI(S) and αA (x) + βA (x) ≥ 0

for all x ∈ S, then Ak ∪ A−k is a left (resp., right) h-ideal of S for
all k ∈ [0, 1].

Proof: Let k ∈ [0, 1], evidently Ak ̸= Φ, A−k ̸= Φ and they are

−
all left h-ideals of S from theorem 3.1. Let x1 , x2 ∈ A+
k ∪A−k x, z ∈ S

with x + x1 + z = x2 + z. To complete the proof, we just need to

consider the following four cases;

(i) x1 ∈ Ak , x2 ∈ Ak

(ii) x1 ∈ Ak , x2 ∈ A−k

(iii) x1 ∈ A−k , x2 ∈ Ak

(iv) x1 ∈ A−k , x2 ∈ A−k

10
case(i) implies αA (x1 ) ≥ k, αA (x2 ) ≥ k. since A ∈ DF ShI(S), we
can obtain
αA (x1 +x2 ) ≥ min {αA (x1 ), αA (x2 )} ≥ k, αA (x1 x2 ) ≥ max {αA (x1 )αA (x2 )} ≥
{ + }
k and αA (x) ≥ min αA (x1 ), αA (x2 ) ≥ k. Then x1 + x2 , x1 x2 , x ∈
Ak ∪ A−k .The proof of case (iv) is similar to case (i). For case (ii),
we can easily acquire αA (x1 ) ≥ k, βA (x2 ) ≤ −k. since αA (x2 ) +
−
αA (x2 ) ≥ 0, αA (x2 ) ≥ −βA− (x2 ) ≥ k , we have αA (x1 + x2 ) ≥
min {αA (x1 ), αA (x2 )} ≥ min {αA (x1 ), βA (x2 )} ≥ k.αA (x1 x2 ) ≥
max {αA (x1 ), αA (x2 )} ≥ k and αA (x) ≥ min {αA (x1 ), αA (x2 )} ≥
min {αA (x1 ), αA (x2 )} ≥ k. Then x1 + x2 x1 x2 ∈ Aγ is subset of
Ak ∪ A−k . The proof of case (iii) is similar to (ii). Hence Ak ∪ A−k
is left h-ideal of S.

Definition 3.1. (13) Let Φ : S → T be a homomorphism of hemi

rings, and B be a double-framed fuzzy soft set of T . Then the in-
verse image of BΦ−1 (B) is the bipolar fuzzy soft set of S given by
Φ(αB )(x) = αB (Φ(x)), Φ−1 (βb )(x) = βb (Φ(x)), for all x ∈ S. Con-
versly, let A be a double-framed fuzzy soft set of S. The image of
A, Φ(A) is double-framed fuzzy soft set of T defined by


V αA (z), if Φ−1 (y) ̸= Φ
Φ(αA )(x) = zϵΦ−1 (y)


0 Otherwise


∩βA (z), if Φ−1 (y) ̸= Φ.
Φ(βA )(x) = zϵΦ−1 (y)


0 otherwise, f orally ∈ T

where Φ−1 (y) = x ∈ S/Φ(x) = y.

Theorem 3.3. Let Φ : S → T be a homomorphism of hemi rings

and B be a double-framed fuzzy soft left (resp.,right) h-ideal of T ,
then the inverse image Φ−1 (B) is a double-framed fuzzy soft left

11
(resp., right) h-ideal of S.

Proof: Suppose that B = (µ+

B , µB ) is a double-framed fuzzy soft

left h-ideal of T and Φ is a homomorphism of hemi rings from S to

T . Then for all x, y ∈ S, we have
(BFShI1) Φ−1 (αB )(x + y) = αB (Φ(x + y)) = αB (Φ(x) + Φ(y)) ≥
min {αB (Φ(x)), αB (Φ(y))}
{ }
= min Φ−1 (αB )(x), Φ−1 (αB )(y) and Φ−1 (βB )(x + y) = αB (Φ(x +
{ }
y)) = βB (Φ(x)+Φ(y)) ≤ max {βB (Φ(x)), βB (Φ(y))} = max Φ−1 (βB )(x), Φ−1 (βB )(y) .
Thus, (i) is valid of definition 2.8. By the same way, we can show
that (ii) is hold. Moreover, let x, z, a, b ∈ S with x + a + z = b + z.
we can acquire Φ(x)+Φ(a)+Φ(z) = Φ(b)+Φ(z) and Φ−1 (βB )(x) =
{ }
βB (Φ(x1 )) ≥ min {βB (Φ(a)), βB (Φ(b))} = min Φ−1 (αB )(a), Φ−1 (βB )(b) .
{ }
Analogously, we have Φ−1 (βB )(x) ≤ max Φ−1 (βB )(a), Φ−1 (βB )(b) .
Hence Φ−1 (B) is a double-framed fuzzy soft h-ideal of S.

Theorem 3.4. Assume that Φ : S → T be an epimorphism of hemi

rings. If A is a double-framedfuzzy soft left (reso., right) h-ideal of
S, then the image Φ(A) is a bipolar fuzzy soft left (resp., right)
h-ideal of T .

Proof: Since Φ is an epimorphism, by theorem 3.1, it is sufficient

to show that Φ(A)γ and Φ(A)δ are h-ideals of T for all (γ, δ) ∈
[0, 1] × [−1, 0] satisfying Φ(A)γ ̸= Φ, Φ(A)δ ̸= Φ.
Let γ ∈ [0, 1] and Φ(A) ̸= Φ. Then for all y1 , y2 ∈ Φ(A)γ , we can
obtain

V αA (x) ≥ t V αA (x) ≥ γ,
Φ(αA )(y1 ) = and Φ(αA )(y2 ) =
xϵΦ−1 (y1 ) xϵΦ−1 (y2 )

This means that there exist x1 ∈ Φ−1 (y1 ), x2 ∈ Φ−1 (y2 ) such that
V αA (x)
αA (x1 ) ≥ γ, αA
+
(x2 ) ≥ γ, Then ΦαA (y1 + y2 ) = ≥
xϵΦ−1 (y1 )

12
αA (x1 + x2 ) ≥ min {αA (x1 ), αA (x2 )} ≥ γ.
Therefore y1 + y2 ∈ Φ(A)γ .
V αA (x)
For all y0 ∈ Φ(A)γ , we have Φ(αA )(y0 ) = ≥ γ, which
xϵΦ−1 (y)
implies that there exists x0 ∈ Φ−1 (y0 ) such that αA (x0 ) ≥ γ.
For each y ∈ T , since Φ is an epimorphism and A is a double-framed
fuzzy soft left h-ideal of S , there exists x ∈ S such that Φ(x) =
y1 , ΦA (xx0 ) ≤ max {ΦA (x), ΦA (x0 )} ≤ γ. Then Φ(αA )(yy0 ) =
V max {αA (x), αA (x0 )} = γ
−1 . Thus yy0 ∈ Φ(A)γ . More over, let
xϵΦ (y)
any y, z ∈ T and any m, n ∈ Φ(A)+ t such that y + m + z = n + z.

Then we can acquire

V αA (x) ≥ γ + V αA (x) ≥ γ,
Φ(αA )(m) = and Φ(αA )(n) = .
xϵΦ−1 (m) xϵΦ−1 (n)
Thus y ∈ Φ(A) .
γ

This means that Φ(A)γ is a left h-ideal of T . Analogously, we can

prove that Φ(A)δ is a left h-ideal of T . This completes the proof.

4 Double-framed Normal fuzzy soft h-

ideals
In this section, we introduce and characterize normal double-framed
fuzzy soft h-ideals of hemi rings. By definition 2.8, it is clear that
a double-framed fuzzy soft set A is an double-framed fuzzy soft h-
−
A = 1 and µA = −1 for x ∈ S. However,
ideals of S providing that µ+
−
A = 1 and µA = −1 may not always hold.
as a general rule, µ+
Therefore, it is necessary for us to define the following definition.

Definition 4.1. A double-framed fuzzy soft h-ideal A of S is said to

be normal if there exits an element x ∈ S such that A(x) = (1, −1)
−
A = 1 and µA = −1
that means µ+

Example 4.1. Consider S = 0, 1, 2, 3 which is described in example

13
2.1. Let A be a double-framed fuzzy soft set S defined by

0 1 2 3
αA 1 1 1 0.6
βA 1 1 1 0.5

Clearly, A is a normal double-framed fuzzy soft h-ideal of S.

Definition 4.2. A element x0 ∈ S is called extremal for a double-

framed fuzzy soft set A if µαA (x0 ) ≥ µαA (x) and µβA (x0 ) ≤ βA (x),
for all x ∈ S.

From the above definitions, we can easily derived the following prop-
erties.

Proposition 4.1. A double-framed fuzzy soft set A of S is a normal

double-framed fuzzy soft h-ideal if and only if A(x) = (−1, 1) for
its all extremal elements.

Theorem 4.1. If x0 is an element of a double-framed fuzzy soft left

(resp., rtght) h-ideal, then a double-framed fuzzy soft set A defined
by µαA (x) = µαA (x)+1−αA (x0 ) and µβA (x) = µβA (x)−1−βA (x0 )
for all x ∈ S is a normal double-framed fuzzy soft left (resp., right)
h-ideal of S containing A.

Proof: First, we claim that à is normal. In fact, since ÃαA (x)+

1 − αA (x0 ), Ã = βA (x) − 1 − βA (x0 ) and x0 is an extremal element
of A. we have αA (x0 ) = 1, βA (x0 ) = −1. αA (x) ∈ [0, 1] and
βA (x) = [−1, 0] for all x ∈ S, Thus à is normal.
Next we show that à is double-framed fuzzy soft h-ideal of S. For
all x, y ∈ S, we have
(BF ShI1) Ã(x+y) = αA (x+y)+1−αA (x0 ) ≥ min {αA (x), αA (y)}+

14
 { }
1 − αA (x0 ) = min αA (x) + 1 − αA (x0 ), αA (y) + 1 − αA
+
(x0 ) =
{ }
min Ã(x), Ã(y) and

Ã(x + y) = αA (x + y) + 1 − αA (x0 ) ≤ max {αA (x), βA (y)} + 1 − βA (x0 ) =

{ } { }
max βA (x) + 1 − βA (x0 ), βA (y) + 1 − βA+ (x0 ) = max Ã(x), Ã(y)

. Thus (DFShI1) is valid. Similarly, we can prove that (DFShI2)

holds. More over, let any x, z, a, b ∈ S such that x + a + z = b + z,
we have

Ã(x) = αA (x) + 1 − αA (x0 ) ≥ min {αA (a), αA (b)} + 1 − αA

+
(x0 ) =
{ } { }
min αA (a) + 1 − αA (x0 ), αA (b) + 1 − αA
+
(x0 ) = min Ã(a), Ã(b)
{ }
Analogously, we have Ã(x) ≤ max Ã(a), Ã(b) . Thus à is normal
double-framed fuzzy soft h-ideal of S. Clearly A is contained in Ã.

Corollary 4.1. From the definition of A in theorem 4.1, we get

Ȧ = Ã for all A ∈ DF ShI(S). In particular, if A is normal, then
à = A.

Definition 4.3. A non empty double-framed fuzzy soft h-ideal of S

is called completely normal if there exists x ∈ S such that A(x) =
(0, 0).

Let all the completely normal double-framed fuzzy soft h-ideals of

S be denoted by C(S).

Theorem 4.2. Let f : [0, 1] → [0, 1 and g : [−1, 0] → [−1, 0] be

two increasing functions and A be a bipolar fuzzy soft set of S.
Then A(f,g) = (αAf , βAg ) where αAf (x) = f (αA (x)) and βAg (x) =
g(βA (x)) for all x ∈ S is a double-framed fuzzy soft h-ideal of S if
and only if g(αA (0)) = −1, then A(f,g) is normal.

15
Proof: Let A(f,g) ∈ DF ShI(S), then for all x, y ∈ S. we have
f (αA (x+y)) = αAf (x+y) ≥ min {αAf (x), αAf (y)} = min {f (αA (x)), f (αA (y))} =
f ({f (αAf (x), βAf (y))}).
Since f is increasing, it follows that αA (x+y) ≥ min {αA (x)), αA (y)}.
Conversely, if A ∈ DF ShI(S), then for all x, y ∈ S, we have
αAf (x + y) = f (αA (x)) ≥
f (min(αAf (x), αAf (y))) = min {f (αAf (x), αAf (y))} = min {αAf (x), αAf (x)}
{ − −
}
Similarly, we have βAf (x + y) ≤ max βAf (x), βAf (x) . Thus A(f,g)
satisfies (DF ShI1) if and only if A satisfies (DF ShI1).The analo-
gous connection between A(f,g) and A can be obtained in the case
of axioms (DF ShI2) and (DF ShI3). This completes the proof.

5 Decision making approach for double-

framed fuzzy soft set
Double-framed fuzzy soft set has several application to deal with
uncertainties from our different kinds of daily life problems. Here we
discuss such an application for solving a socialistic decision making
problem.

5.1 Comparison table:

It is a square table in which number of rows and number of colums
are equal and both are labeled by the object name of the universe
such as c1 , c2 , . . . , cn and the entries dij where dij =the number of
parameters for which the value of di exceeds or equal to the value
of dj .

5.2 Algorithm
(i) Input the ACE of choice of parameters of the X.

16
 (ii) Consider the double-framed fuzzy soft set in tabular form.

(iii) Compute the comparision table of positive values function

and negative values function.

(iv) Compute the α-values and β- values score.

(v) Compute the final score by averaging α-membership values

score and β-membership values score.

5.3 Double-framed decision making problem.

Assume that a real estate agent has a set of different types of houses
U = {u1 , u2 , u3 , u4 , u5 } which may be characterized by a set of pa-
rameters E = {x1 , x2 , x3 , x4 } for j = 1, 2, 3, 4 the parameters xj
stand for in “good location”, “cheap”, “modern”, “larg”, respec-
tively. Suppose that a married couple , Mr.X and Mrs. X, come to
the real estate agent to buy a house. If each partner has to consider
their own set of parameters, then we select a house on the basis of
the sets of partners parameters by using double-framed fuzzy soft
sets as follows
Assume that U = {u1 , u2 , u3 , u4 , u5 } is a universal set and E =
{x1 , x2 , x3 , x4 } set of all parameters. Our aim is to find the attrac-
tive houses for Mr. X. Suppose the wishing parameters of Mr.X be
A is subset of E, where A = {e1 , e2 , e5 }.

F (e1 ) = {(c1 , 0.6, −0.7), (c2 , 0.3, −0.2), (c3 , 0.7, −0.3), (c4 , 0.8, −0.4)}
F (e2 ) = {(c1 , 0.4, −0.6), (c2 , 0.7, −0.5), (c3 , 0.9, −0.4), (c4 , 0.5, −0.3)}
F (e5 ) = {(c1 , 0.9, −0.6), (c2 , 0.3, −0.1), (c3 , 0.8, −0.9), (c4 , 0.7, −0.4)}
For the maximum score, if it occurs in i-th row, then Mr.X buy to
di, 1 ≤ i ≤ 4.
Step-1 α-values function and β- values function of the given data
Step-2:Comparison tables of step-1

17
 • e1 e2 e5 • e1 e2 e5
c1 0.6 0.4 0.9 c1 0.7 0.6 0.6
c2 0.3 0.7 0.3 c2 0.2 0.5 0.1
c3 0.7 0.9 0.8 c3 0.3 0.4 0.9
c4 0.8 0.5 0.7 c4 0.4 0.3 0.4

• c1 c2 c3 c4 • c1 c2 c3 c4
c1 3 2 1 1 c1 3 2 3 3
c2 1 3 1 1 c2 0 3 1 1
c3 2 3 3 1 c3 2 1 3 2
c4 2 2 2 3 c4 0 2 2 3

Step-3: Membership score tables

• Row sum (a) Column sum (b) Membership score (a − b)

c1 7 8 -1
c2 6 10 -4
c3 9 7 2
c4 9 6 3

Step-4 Compute the α-values and β-values score.

18
 • Column sum (B) Non-Membership score (A − B)
c1 11 5 6
c2 5 8 -3
c3 8 9 -1
c4 7 9 -2

Step-5 Final score table

• α-Membershipvalue β-Membershipvalue Final score (P + N/2)

score (P) score (N)
c1 -1 6 2.5
c2 -4 -3 -3.5
c3 2 -1 0.5
c4 3 -2 0.5

Clearly the maximum score is 2.5 scored by the house c1 .

Decision: Mr.X will by c1 . If he does not want to buy due to
certain reason, his second choice will be c3 or c4 .

Conclusion
Double-framed sets plays a very important role in many branches
of pure and applied mathematics.. In this paper, we have applied
double-framed fuzzy sets theories to hemi rings and have discussed
some basic properties on the subject of double-framed fuzzy h-ideals
of hemirings, which is, in fact, just a incomplete beginning of the
study of the hemi ring theory, so it is necessary to carry out more
theoretical researches to establish a general framework for the prac-
tical application. We believe that the research in this direction can
invoke more new topics and can provide more applications in some
fields such as mathematical morphology, logic and information sci-
ence, engineering, medical diagnosis.

19
References
[1] H. Aktas. and N. [Link], Soft sets and soft groups, Inform.
Sci. 177 (2007), 2726-2735.

[2] F. Feng, Y. B. Jun and X. Zhao, Soft semirings, Comput.

Math. Appl. 56 (2008), 2621-2628..

[3] F. Feng, C. Li, B. Davvaz and M. I. Ali, Soft sets combined

with fuzzy sets and rough sets: a tentative approach, Soft
Comput. 14 (6) (2010), 899-911.

[4] [Link], Double framed soft BF-algebras- Indian Jour-

nal of Science and Technology, Vol.7, No.4(2014), 491-496

[5] [Link], Ideal theory of BCK/BCI-algebras based on

double-framed soft sets, Applied Mathematics informatics sci-
ence, Vol.7, No.5(2013), (1879-1888).

[6] [Link] and [Link], Double-framed soft sets with applica-

tions in BCK/BCI-algebras, Journal of Applied Mathemat-
ics,Volume:2012, Article ID 178159, 15 Pages.

[7] Khizar Hayat [Link], Applications of double-framed soft ideals

in BE-algebra, New trends in Mathematical Sciences, Vol.4(2),
2016, 285-295.

[8] D. R. La Torre, On h-ideals and k-ideals in hemi rings, Publ.

Math. Debrecen, vol.12, no.2(1965), pp.219-226.

[9] K. J. Lee, Bipolar fuzzy subalgebras and bipolar fuzzy ideals

of BCK/BCI-algebras, Bulletin of the Malaysian Mathematical
Sciences Society, vol.32, no.3(2009), pp.361-373.

20
[10] K. M. Lee, Bipolar-valued fuzzy sets and their operations,
Proc. of Int. Conf. on Intelligent Tech-nologies, Bangkok, Thai-
land, 2000, pp.307-312.

[11] P.K. Maji, R. Biswas and A.R. Roy, Soft set theory, Comput.
Math. Appl. 45 (2003), 555562.

[12] D. Molodtsov, Soft set theory-first results, Comput. Math.

Appl. 37 (1999), 1931.

[13] [Link], A study on double-framed soft Near-rings,

Applied Mathematical Sciences, Vol.9, No.18(2015), 867-873.

[14] P. K. Maji, R. Biswas and A. R. Roy, Fuzzy soft sets, J. Fuzzy

Math., 9(3) (2001), 589-602.

[15] P. K. Maji, A. R. Roy and R. Biswas, An application of soft

sets in a decision making problem, Comput. Math. Appl., 44
(2002), 1077-1083.

[16] L. A. Zadeh, Fuzzy Sets, Information and Control, 8 (1965),

338-353.

21