Hindawi Publishing Corporation

Journal of Applied Mathematics

Volume 2012, Article ID 178159, 15 pages
doi:10.1155/2012/178159

Research Article
Double-Framed Soft Sets with Applications
in BCK/BCI-Algebras

Young Bae Jun1 and Sun Shin Ahn2

1
Department of Mathematics Education and RINS, Gyeongsang National University,
Jinju 660-701, Republic of Korea
2
Department of Mathematics Education, Dongguk University, Seoul 100-715, Republic of Korea

Correspondence should be addressed to Sun Shin Ahn, [email protected]

Received 26 August 2012; Revised 23 October 2012; Accepted 23 October 2012

Academic Editor: Morteza Rafei

Copyright q 2012 Y. B. Jun and S. S. Ahn. This is an open access article distributed under the
Creative Commons Attribution License, which permits unrestricted use, distribution, and
reproduction in any medium, provided the original work is properly cited.

In order to lay a foundation for providing a soft algebraic tool in considering many problems
that contain uncertainties, the notion of double-framed soft sets is introduced, and applications
in BCK/BCI-algebras are discussed. The notions of double-framed soft algebras in BCK/BCI-
algebras are introduced, and related properties are investigated. Characterizations of double-
framed soft algebras are considered. Product and int-uni structure of double-framed soft algebras
are discussed, and several examples are provided.

1. Introduction
The real world is inherently uncertain, imprecise, and vague. Various problems in system
identification involve characteristics which are essentially nonprobabilistic in nature 1. In
response to this situation, Zadeh 2 introduced fuzzy set theory as an alternative to probability
theory. Uncertainty is an attribute of information. In order to suggest a more general
framework, the approach to uncertainty is outlined by Zadeh 3. To solve a complicated
problem in economics, engineering, and environment, we cannot successfully use classical
methods because of various uncertainties typical for those problems. There are three theories:
theory of probability, theory of fuzzy sets, and the interval mathematics which we can
consider as mathematical tools for dealing with uncertainties. But all these theories have
their own difficulties. Uncertainties cannot be handled using traditional mathematical tools
but may be dealt with using a wide range of existing theories such as probability theory,
theory of intuitionistic fuzzy sets, theory of vague sets, theory of interval mathematics,
and theory of rough sets. However, all of these theories have their own difficulties which
2 Journal of Applied Mathematics

are pointed out in 4. Maji et al. 5 and Molodtsov 4 suggested that one reason for
these difficulties may be due to the inadequacy of the parametrization tool of the theory.
To overcome these difficulties, Molodtsov 4 introduced the concept of soft set as a new
mathematical tool for dealing with uncertainties that is free from the difficulties that have
troubled the usual theoretical approaches. Molodtsov pointed out several directions for the
applications of soft sets. Worldwide, there has been a rapid growth in interest in soft set
theory and its applications in recent years. Evidence of this can be found in the increasing
number of high-quality articles on soft sets and related topics that have been published in
a variety of international journals, symposia, workshops, and international conferences in
recent years. Maji et al. 5 described the application of soft set theory to a decision-making
problem. Maji et al. 6 also studied several operations on the theory of soft sets. Aktaş
and Çağman 7 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. Jun and Park 8 studied applications of soft sets in ideal theory
of BCK/BCI-algebras. Jun et al. 9, 10 introduced the notion of intersectional soft sets and
considered its applications to BCK/BCI-algebras. Also, Jun 11 discussed the union soft sets
with applications in BCK/BCI-algebras. We refer the reader to the papers 12–24 for further
information regarding algebraic structures/properties of soft set theory.
The aim of this paper is to lay a foundation for providing a soft algebraic tool
in considering many problems that contain uncertainties. To do this, we introduce the
notion of double-framed soft sets and apply it to BCK/BCI-algebras. We discuss double-
framed soft algebras in BCK/BCI-algebras and investigate related properties. We consider
characterizations of double-framed soft algebras and deal with the product and int-uni
structure of double-framed soft algebras. We provide several examples.

2. Preliminaries
A BCK/BCI-algebra is an important class of logical algebras introduced by K. Iséki and was
extensively investigated by several researchers.
An algebra X; ∗, 0 of type 2, 0 is called a BCI-algebra if it satisfies the following
conditions:

i ∀x, y, z ∈ Xx ∗ y ∗ x ∗ z ∗ z ∗ y  0,

ii ∀x, y ∈ Xx ∗ x ∗ y ∗ y  0,
iii ∀x ∈ Xx ∗ x  0,
iv ∀x, y ∈ Xx ∗ y  0, y ∗ x  0 ⇒ x  y.

If a BCI-algebra X satisfies the following identity:

v ∀x ∈ X0 ∗ x  0,

then X is called a BCK-algebra. Any BCK/BCI-algebra X satisfies the following conditions:

∀x ∈ Xx ∗ 0  x, 2.1

  
∀x, y, z ∈ X x ≤ y ⇒ x ∗ z ≤ y ∗ z, z ∗ y ≤ z ∗ x , 2.2
Journal of Applied Mathematics 3
  
∀x, y, z ∈ X x ∗ y ∗ z  x ∗ z ∗ y , 2.3
    
∀x, y, z ∈ X x ∗ z ∗ y ∗ z ≤ x ∗ y , 2.4

where x ≤ y if and only if x ∗ y  0.

A nonempty subset S of a BCK/BCI-algebra X is called a subalgebra of X if x ∗ y ∈ S
for all x, y ∈ S.
We refer the reader to the books 25, 26 for further information regarding BCK/BCI-
algebras.
Molodtsov 4 defined the soft set in the following way: let U be an initial universe
set, and let E be a set of parameters. Let PU denote the power set of U and A, B, C, . . . ⊆ E.

Definition 2.1 see 4. A pair α, A is called a soft set over U, where α is a mapping given by

α : A −→ PU. 2.5

In other words, a soft set over U is a parameterized family of subsets of the universe
U. For ε ∈ A, αε may be considered as the set of ε-approximate elements of the soft set
α, A. Clearly, a soft set is not a set. For illustration, Molodtsov considered several examples
in 4.

3. Double-Framed Soft Algebras

In what follows, we take E  X as a set of parameters, which is a BCK/BCI-algebra and
A, B, C, . . . as subalgebras of E unless otherwise specified.

Definition 3.1. A double-framed pair α, β; A

is called a double-framed soft set over U, where
α and β are mappings from A to PU.

Definition 3.2. A double-framed soft set α, β; A

over U is called a double-framed soft
algebra over U if it satisfies

         
∀x, y ∈ A α x ∗ y ⊇ αx ∩ α y , β x ∗ y ⊆ βx ∪ β y . 3.1

Example 3.3. Suppose that there are five houses in the initial universe set U given by

U  {h1 , h2 , h3 , h4 , h5 }. 3.2

Let a set of parameters E  {e0 , e1 , e2 , e3 } be a set of status of houses in which

e0 stands for the parameter “beautiful,”

e1 stands for the parameter “cheap,”
e2 stands for the parameter “in good location,”
e3 stands for the parameter “in green surroundings,”
4 Journal of Applied Mathematics

with the following binary operation:

∗ e0 e1 e2 e3
e0 e0 e0 e0 e0
e1 e1 e0 e1 e1 3.3
e2 e2 e2 e0 e2
e3 e3 e3 e3 e0

Then E, ∗, e0  is a BCK-algebra. For a subalgebra A : {e0 , e2 , e3 } of E, consider a double-

framed soft set α, β; A
over U as follows:
⎧
⎪ if x  e0 ,
⎨{h1 , h2 , h3 , h4 , h5 }
⎪
α : A −→ PU, x −→ {h1 , h3 , h4 } if x  e2 ,
⎪
⎪
⎩{h , h , h } if x  e3 ,
2 3 5
⎧ 3.4
⎪ x  e0 ,
⎨{h2 }
⎪ if
β : A −→ PU, x −→ {h1 , h2 , h3 } if x  e2 ,
⎪
⎪
⎩{h , h } if x  e3 .
4 5

It is routine to verify that α, β; A

is a double-framed soft algebra over U.

Example 3.4. Consider the initial universe set U  {h1 , h2 , h3 , h4 , h5 } and a set of parameters
E  {e0 , e1 , e2 , e3 } which are given in Example 3.3. Define a binary operation ∗ on E by the
following Cayley table:

∗ e0 e1 e2 e3
e0 e0 e0 e0 e0
e1 e1 e0 e0 e1 3.5
e2 e2 e2 e0 e2
e3 e3 e3 e3 e0

Consider a double-framed soft set α, β; E

over U as follows:
⎧
⎪
⎪ U if x  e0 ,
⎪
⎪
⎨{h , h , h } if x  e1 ,
1 2 5
α : E −→ PU, x −→
⎪
⎪ {h1 , h2 , h3 , h5 } if x  e2 ,
⎪
⎪
⎩
{h1 , h4 } if x  e3 ,
⎧ 3.6
⎪
⎪ {h , h } if x  e0 ,
⎪ 3 4
⎪
⎨{h , h , h } if x  e1 ,
2 3 4
β : E −→ PU, x −→
⎪{h2 , h3 , h4 , h5 }
⎪ if x  e2 ,
⎪
⎪
⎩
{h1 , h3 , h4 } if x  e3 .

Then α, β; E

is a double-framed soft algebra over U.
Journal of Applied Mathematics 5

Example 3.5. There are six women patients in the initial universe set U given by

U  {h1 , h2 , h3 , h4 , h5 , h6 }. 3.7

Let a set of parameters E  {e0 , e1 , e2 , e3 , e4 , e5 , e6 , e7 } be a set of status of patients in which

e0 stands for the parameter “chest pain,”
e1 stands for the parameter “headache,”
e2 stands for the parameter “mental depression,”
e3 stands for the parameter “migraine,”
e4 stands for the parameter “neurosis,”
e5 stands for the parameter “omodynia,”
e6 stands for the parameter “period pains,”
e7 stands for the parameter “toothache,”
with the following binary operation:

∗ e0 e1 e2 e3 e4 e5 e6 e7
e0 e0 e0 e0 e0 e4 e4 e4 e4
e1 e1 e0 e0 e0 e5 e4 e4 e4
e2 e2 e2 e0 e0 e6 e6 e4 e4
e3 e3 e2 e1 e0 e7 e6 e5 e4 3.8
e4 e4 e4 e4 e4 e0 e0 e0 e0
e5 e5 e4 e4 e4 e1 e0 e0 e0
e6 e6 e6 e4 e4 e2 e2 e0 e0
e7 e7 e6 e5 e4 e3 e2 e1 e0

Then E, ∗, e0  is a BCI-algebra. Consider a double-framed soft set α, β; E

over U as
follows:

{h1 , h2 , h3 , h4 } if x ∈ {e0 , e1 , e2 , e3 },
α : E −→ PU, x −→
{h1 , h3 , h4 , h5 , h6 } if x ∈ {e4 , e5 , e6 , e7 },
 3.9
{h1 , h3 , h5 , h7 } if x ∈ {e0 , e1 , e2 , e3 },
β : E −→ PU, x −→
{h1 , h2 , h4 } if x ∈ {e4 , e5 , e6 , e7 }.

Then we have

⊆{h1 , h2 , h3 , h4 }  αe0   αe4 ∗ e5 

αe4  ∩ αe5   {h1 , h3 , h4 , h5 , h6 }/ 3.10

and/or

⊇{h1 , h3 , h5 , h7 }  βe0   βe5 ∗ e6 .

βe5  ∪ βe6   {h1 , h2 , h4 }/ 3.11

Hence, α, β; E

is not a double-framed soft algebra over U.
6 Journal of Applied Mathematics

Lemma 3.6. Every double-framed soft algebra α, β; A

over U satisfies the following condition:
 
∀x ∈ A αx ⊆ α0, βx ⊇ β0 . 3.12

Proof. It is straightforward.

Proposition 3.7. For a double-framed soft algebra α, β; A

over U, the following are equivalent:
1 ∀x ∈ Aαx  α0, βx  β0,
2 ∀x, y ∈ Aαy ⊆ αx ∗ y, βy ⊇ βx ∗ y.

Proof. Assume that 2 is valid. Taking y  0 and using 2.1, we have α0 ⊆ αx ∗ 0  αx
and β0 ⊇ βx ∗ 0  βx. It follows from Lemma 3.6 that αx  α0 and βx  β0.
Conversely, suppose that αx  α0 and βx  β0 for all x ∈ A. Using 3.1, we
have
       
α y  α0 ∩ α y  αx ∩ α y ⊆ α x ∗ y ,
        3.13
β y  β0 ∪ β y  βx ∪ β y ⊇ β x ∗ y ,

for all x, y ∈ A. This completes the proof.

Proposition 3.8. In a BCI-algebra X, every double-framed soft algebra α, β; A

over U satisfies
the following condition:
    

  α x ∗ 0 ∗ y ⊇ αx ∩ α y ,
∀x, y ∈ A      . 3.14
β x ∗ 0 ∗ y ⊆ βx ∪ β y

Proof. Using Lemma 3.6, we have

    
α x ∗ 0 ∗ y ⊇ αx ∩ α 0 ∗ y
   
⊇ αx ∩ α0 ∩ α y  αx ∩ α y ,
     3.15
β x ∗ 0 ∗ y ⊆ βx ∪ β 0 ∗ y
   
⊆ βx ∪ β0 ∪ β y  βx ∪ β y ,

for all x, y ∈ A.

Let α, β; A

and f, g; B
be double-framed soft sets over a common uni-
verse U. Then α, β; A
is called a double-framed soft subset of f, g; B
, denoted by
 f, g; B
, if
α, β; A
⊆
i A ⊆ B,

αe and fe are identical approximations
ii ∀e ∈ A βe and ge are identical approximations .

Theorem 3.9. Let α, β; A

be a double-framed soft subset of a double-framed soft set f, g; B
.
If f, g; B
is a double-framed soft algebra over U, then so is α, β; A
.
Journal of Applied Mathematics 7

Proof. Let x, y ∈ A. Then x, y ∈ B, and so

       
αx ∩ α y  fx ∩ f y ⊆ f x ∗ y  α x ∗ y ,
        3.16
βx ∪ β y  gx ∪ g y ⊇ g x ∗ y  β x ∗ y .

Hence, α, β; A

is a double-framed soft algebra over U.

The converse of Theorem 3.9 is not true as seen in the following example.

Example 3.10. Suppose that there are six houses in the initial universe set U given by

U  {h1 , h2 , h3 , h4 , h5 , h6 }. 3.17

Let a set of parameters E  {e0 , e1 , e2 , e3 , e4 } be a set of status of houses in which

e0 stands for the parameter “beautiful,”

e1 stands for the parameter “cheap,”

e2 stands for the parameter “in good location,”

e3 stands for the parameter “in green surroundings,”

e4 stands for the parameter “luxury,”

with the following binary operation:

∗ e0 e1 e2 e3 e4
e0 e0 e0 e0 e3 e3
e1 e1 e0 e1 e4 e3 3.18
e2 e2 e2 e0 e3 e3
e3 e3 e3 e3 e0 e0
e4 e4 e3 e4 e1 e0

Then E, ∗, e0  is a BCI-algebra. For a subalgebra A  {e0 , e1 , e2 }, define a double-framed soft

set α, β; A
over U as follows:

⎧
⎪
⎪ if x  e0 ,
⎨U
α : A −→ PU, x −→ {h1 , h3 , h5 } if x  e1 ,
⎪
⎪
⎩{h , h , h } if x  e ,
2 4 6 2
⎧ 3.19
⎪ if x  e0 ,
⎨{h6 }
⎪
β : A −→ PU, x −→ {h4 , h6 } if x  e1 ,
⎪
⎪
⎩{h , h , h } if x  e .
2 4 6 2
8 Journal of Applied Mathematics

It is routine to verify that α, β; E

is a double-framed soft algebra over U. Take B  E, and
define a double-framed soft set f, g; B
over U as follows:
⎧
⎪
⎪ U if x  e0 ,
⎪
⎪
⎪
⎪
⎨{h1 , h3 , h5 }
⎪ if x  e1 ,
f : B −→ PU, x −→ {h2 , h4 , h6 } if x  e2 ,
⎪
⎪
⎪
⎪ {h1 , h3 } if x  e3 ,
⎪
⎪
⎪
⎩{h , h }
2 4 if x  e4 ,
⎧ 3.20
⎪
⎪ {h6 } if x  e0 ,
⎪
⎪
⎪
⎪
⎨{h4 , h6 }
⎪ if x  e1 ,
g : B −→ PU, x −→ {h2 , h4 , h6 } if x  e2 ,
⎪
⎪
⎪
⎪ {h2 , h3 } if x  e3 ,
⎪
⎪
⎪
⎩{h , h }
2 5 if x  e4 .

Then f, g; B

is not a double-framed soft algebra over U since

⊇{h2 , h4 }  fe2  ∩ fe4 

fe2 ∗ e4   fe3   {h1 , h3 }/ 3.21

and/or

⊆{h2 , h3 , h5 }  ge4  ∪ ge3 .

ge4 ∗ e3   ge1   {h4 , h6 }/ 3.22

For two double-framed soft sets α, β; A

and f, g; A
over U, the double-framed
soft int-uni set of α, β; A
and f, g; A
is defined to be a double-framed soft set
 f, β ∪
α ∩  g; A
where

 f : A −→ PU,
α∩ x −→ αx ∩ fx,
3.23
 g : A −→ PU,
β∪ x −→ βx ∪ gx.

 f, β ∪
It is denoted by α, β; A
 f, g; A
 α ∩  g; A
.

Theorem 3.11. The double-framed soft int-uni set of two double-framed soft algebras α, β; A
and
f, g; A
over U is a double-framed soft algebra over U.

Proof. For any x, y ∈ A, we have

            
α∩ f x ∗ y  α x ∗ y ∩ f x ∗ y ⊇ αx ∩ α y ∩ fx ∩ f y
           
 αx ∩ fx ∩ α y ∩ f y  α ∩  f x ∩ α ∩
f y ,
             3.24
 g x ∗ y  β x ∗ y ∪ g x ∗ y ⊆ βx ∪ β y ∪ gx ∪ g y
β∪
           
 βx ∪ gx ∪ β y ∪ g y  β ∪  f x ∪ β ∪
f y .

Therefore, α, β; A

 f, g; A
is a double-framed soft algebra over U.
Journal of Applied Mathematics 9

For a double-framed soft set α, β; A

over U and two subsets γ and δ of U, the γ-
inclusive set and the δ-exclusive set of α, β; A
, denoted by iA α; γ and eA β; δ, respectively,
are defined as follows:

   
iA α; γ : x ∈ A | γ ⊆ αx , 3.25
   
eA β; δ : x ∈ A | δ ⊇ βx , 3.26

respectively. The set

   
DFA α, β γ,δ : x ∈ A | γ ⊆ αx, δ ⊇ βx 3.27

is called a double-framed including set of α, β; A

. It is clear that

     
DFA α, β γ,δ  iA α; γ ∩ eA β; δ . 3.28

Theorem 3.12. For a double-framed soft set α, β; E

over U, the following are equivalent:

1 α, β; E

is a double-framed soft algebra over U,

2 for every subsets γ and δ of U with γ ∈ Imα and δ ∈ Imβ, the γ-inclusive set and the
δ-exclusive set of α, β; E
are subalgebras of E.

Proof. Assume that α, β; E

is a double-framed soft algebra over U. Let x, y ∈ E be such
that x, y ∈ iE α; γ and x, y ∈ eE β; δ for every subsets γ and δ of U with γ ∈ Imα and
δ ∈ Imβ. It follows from 3.1 that

       
α x ∗ y ⊇ αx ∩ α y ⊇ γ, β x ∗ y ⊆ βx ∪ β y ⊆ δ. 3.29

Hence, x ∗ y ∈ iE α; γ and x ∗ y ∈ eE β; δ, and therefore, iE α; γ and eE β; δ are subalgebras
of E.
Conversely suppose that 2 is valid. Let x, y ∈ E be such that αx  γx , αy 
γy , βx  δx and βy  δy . Taking γ  γx ∩ γy and δ  δx ∪ δy implies that x, y ∈ iE α; γ and
x, y ∈ eE β; δ. Hence, x ∗ y ∈ iE α; γ and x ∗ y ∈ eE β; δ, which imply that

   
α x ∗ y ⊇ γ  γx ∩ γy  αx ∩ α y ,
    3.30
β x ∗ y ⊆ δ  δx ∪ δy  βx ∪ β y .

Therefore, α, β; E

is a double-framed soft algebra over U.

Corollary 3.13. If α, β; E

is a double-framed soft algebra over U, then the double-framed includ-
ing set of α, β; E
is a subalgebra X.
10 Journal of Applied Mathematics

For any double-framed soft set α, β; E

over U, let α∗ , β∗ ; E
be a double-framed
soft set over U defined by

  
∗ αx if x ∈ iE α; γ ,
α : E −→ PU, x −→
η otherwise,
   3.31
βx if x ∈ eE β; δ ,
β∗ : E −→ PU, x −→
ρ otherwise,

where γ, δ, η, and ρ are subsets of U with η  αx and ρ  βx.

Theorem 3.14. If α, β; E

is a double-framed soft algebra over U, then so is α∗ , β∗ ; E
.

Proof. Assume that α, β; E

is a double-framed soft algebra over U. Then iE α; γ and
eE β; δ are subalgebras of E for every subsets γ and δ of U with γ ∈ Imα and δ ∈ Imβ.
Let x, y ∈ E. If x, y ∈ iE α; γ, then x ∗ y ∈ iE α; γ. Thus,

       
α∗ x ∗ y  α x ∗ y ⊇ αx ∩ α y  α∗ x ∩ α∗ y . 3.32

/ iE α; γ, then α∗ x  η or α∗ y  η. Hence,

/ iE α; γ or y ∈
If x ∈

   
α∗ x ∗ y ⊇ η  α∗ x ∩ α∗ y . 3.33

Now, if x, y ∈ eE β; δ, then x ∗ y ∈ eE β; δ. Thus,

       
β∗ x ∗ y  β x ∗ y ⊆ βx ∪ β y  β∗ x ∪ β∗ y . 3.34

/ eE β; δ, then β∗ x  ρ or β∗ y  ρ. Hence,

/ eE β; δ or y ∈
If x ∈

   
β∗ x ∗ y ⊆ ρ  β∗ x ∪ β∗ y . 3.35

Therefore, α∗ , β∗ ; E
is a double-framed soft algebra over U.

The following example shows that the converse of Theorem 3.14 is not true in general.

Example 3.15. Suppose that there are ten houses in the initial universe set U given by

U  {h1 , h2 , h3 , h4 , h5 , h6 , h7 , h8 , h9 , h10 }. 3.36

Let a set of parameters E  {e0 , e1 , e2 , e3 } be a set of status of houses in which

e0 stands for the parameter “beautiful,”

e1 stands for the parameter “cheap,”
Journal of Applied Mathematics 11

e2 stands for the parameter “in good location,”

e3 stands for the parameter “in green surroundings,”

with the following binary operation:

∗ e0 e1 e2 e3
e0 e0 e1 e2 e3
e1 e1 e0 e3 e2 3.37
e2 e2 e3 e0 e1
e3 e3 e2 e1 e0

Then E, ∗, e0  is a BCI-algebra. Consider a double-framed soft set α, β; E

over U as
follows:
⎧
⎪
⎪ U if x  e0 ,
⎪
⎪
⎨{h , h , h , h , h } if x  e1 ,
2 4 6 8 10
α : E −→ PU, x −→
⎪
⎪ {h3 , h6 , h9 } if x  e2 ,
⎪
⎪
⎩
{h8 } if x  e3 ,
⎧ 3.38
⎪
⎪ {h } if x  e0 ,
⎪ 6
⎪
⎨{h , h , h } if x  e1 ,
3 6 9
β : E −→ PU, x −→
⎪
⎪{h2 , h4 , h6 , h8 , h10 } if x  e2 ,
⎪
⎪
⎩
U if x  e3 .

Note that iE α; γ  {e0 , e1 }  eE β; δ for γ  {h2 , h4 , h6 , h8 , h10 } and δ  {h3 , h6 , h9 }. Let
α∗ , β∗ ; E
be a double-framed soft set over U defined by

  
∗ αx if x ∈ iE α; γ ,
α : E −→ PU, x −→
∅ otherwise,
   3.39
βx if x ∈ eE β; δ ,
β∗ : E −→ PU, x −→
U otherwise,

that is,
⎧
⎪
⎪ if x  e0 ,
⎨U
∗
α : E −→ PU, x −→ {h2 , h4 , h6 , h8 , h10 } if x  e1 ,
⎪
⎪
⎩∅ if x ∈ {e2 , e3 },
⎧ 3.40
⎪ if x  e0 ,
⎨{h6 }
⎪
∗
β : E −→ PU, x −→ {h3 , h6 , h9 } if x  e1 ,
⎪
⎪
⎩U if x ∈ {e2 , e3 }.
12 Journal of Applied Mathematics

It is routine to verify that α∗ , β∗ ; E

is a double-framed soft algebra over U. But α, β; E

is not a double-framed soft algebra over U since αe1  ∩ αe2  / ⊆ αe3   αe1 ∗ e2  and/or
βe1  ∪ βe2  /
⊇ βe3   βe1 ∗ e2 .
Let α, β; A
and α, β; B
be double-framed soft sets over U. The α∧ , β∨ -product
of α, β; A
and α, β; B
is defined to be a double-framed soft set αA∧B , βA∨B ; A × B

over U in which
   
αA∧B : A × B −→ PU, x, y −→ αx ∩ α y ,
    3.41
βA∨B : A × B −→ PU, x, y −→ βx ∪ β y .

Theorem 3.16. For any BCK/BCI-algebras E and F as sets of parameters, let α, β; E
and
α, β; F
be double-framed soft algebras over U. Then the α∧ , β∨ -product of α, β; E
and
α, β; F
is also a double-framed soft algebra over U.

Proof. Note that E × F, , 0, 0 is a BCK/BCI-algebra. For any x, y, a, b ∈ E × F, we have

    
αE∧F x, y  a, b  αE∧F x ∗ a, y ∗ b
     
 αx ∗ a ∩ α y ∗ b ⊇ αx ∩ αa ∩ α y ∩ αb
  
 αx ∩ α y ∩ αa ∩ αb
 
 αE∧F x, y ∩ αE∧F a, b,
     3.42
βE∨F x, y  a, b  βE∨F x ∗ a, y ∗ b
       
 βx ∗ a ∪ β y ∗ b ⊆ βx ∪ βa ∪ β y ∪ βb
    
 βx ∪ β y ∪ βa ∪ βb
 
 βE∨F x, y ∪ βE∨F a, b.

Hence, αE∧F , βE∨F ; E × F

is a double-framed soft algebra over U.

Theorem 3.16 is illustrated from the following example.

Example 3.17. Consider the initial universe set U given by

U  {h1 , h2 , h3 , h4 , h5 , h6 }, 3.43

which consists of six women patients, and take five parameters as follows:

e0 stands for the parameter “chest pain,”

e1 stands for the parameter “headache,”
e2 stands for the parameter “mental depression,”
e3 stands for the parameter “migraine,”
e4 stands for the parameter “neurosis.”
Journal of Applied Mathematics 13

Let E  {e0 , e1 , e2 } and F  {e0 , e3 , e4 } with the following Cayley tables:

∗ e0 e1 e2
e0 e0 e0 e0
e1 e1 e0 e1
e2 e2 e2 e0
3.44
∗ e0 e3 e4
e0 e0 e0 e0
e3 e3 e0 e0
e4 e4 e4 e0

Then

E × F  {e0 , e0 , e0 , e3 , e0 , e4 , e1 , e0 , e1 , e3 , e1 , e4 , e2 , e0 , e2 , e3 , e2 , e4 } 3.45

is a BCK-algebra with the following Cayley table:

∗ e0 , e0  e0 , e3  e0 , e4  e1 , e0  e1 , e3  e1 , e4  e2 , e0  e2 , e3  e2 , e4 

e0 , e0  e0 , e0  e0 , e0  e0 , e0  e0 , e0  e0 , e0  e0 , e0  e0 , e0  e0 , e0  e0 , e0 
e0 , e3  e0 , e3  e0 , e0  e0 , e0  e0 , e3  e0 , e0  e0 , e0  e0 , e3  e0 , e0  e0 , e0 
e0 , e4  e0 , e4  e0 , e4  e0 , e0  e0 , e4  e0 , e4  e0 , e0  e0 , e4  e0 , e4  e0 , e0 
e1 , e0  e1 , e0  e1 , e0  e1 , e0  e0 , e0  e0 , e0  e0 , e0  e1 , e0  e1 , e0  e1 , e0  3.46
e1 , e3  e1 , e3  e1 , e0  e1 , e0  e0 , e3  e0 , e0  e0 , e0  e1 , e3  e1 , e0  e1 , e0 
e1 , e4  e1 , e4  e1 , e4  e1 , e0  e0 , e4  e0 , e4  e0 , e0  e1 , e4  e1 , e4  e1 , e0 
e2 , e0  e2 , e0  e2 , e0  e2 , e0  e2 , e0  e2 , e0  e2 , e0  e0 , e0  e0 , e0  e0 , e0 
e2 , e3  e2 , e3  e2 , e0  e2 , e0  e2 , e3  e2 , e0  e2 , e0  e0 , e3  e0 , e0  e0 , e0 
e2 , e4  e2 , e4  e2 , e4  e2 , e0  e2 , e4  e2 , e4  e2 , e0  e0 , e4  e0 , e4  e0 , e0 

Let α, β; E

and α, β; F
be double-framed soft sets over U given by


{h1 , h2 , h3 , h4 , h5 } if x ∈ {e0 , e1 },
α : E −→ PU, x −→
{h1 , h2 } if x  e2 ,

{h3 , h6 } if x ∈ {e0 , e1 },
β : E −→ PU, x −→
{h2 , h3 , h6 } if x  e2 , 3.47
⎧
⎪
⎨{h1 , h2 , h3 , h4 , h5 } if x  e0 ,
⎪
α : F −→ PU, x −→ {h2 , h3 , h4 } if x  e3 ,
⎪
⎪
⎩{h , h } if x  e4 ,
3 4

{h3 , h6 } if x ∈ {e0 , e1 },
β : F −→ PU, x −→ 3.48
{h1 , h3 , h4 , h6 } if x  e2 ,
14 Journal of Applied Mathematics

respectively. Then α, β; E

and α, β; F
are double-framed soft algebras over U. More-
over, the α∧ , β∨ -product of α, β; E
and α, β; F
is a double-framed soft algebra over
U.

4. Conclusion
We have introduced the notion of double-framed soft algebras in a BCK/BCI-algebras and
provided several examples. We have considered the characterization of double-framed soft
algebra. We have shown the following.
1 Every double-framed soft subset of a double-framed soft algebra is also a double-
framed soft algebra.
2 The double-framed soft int-uni set of two double-framed soft algebras is a double-
framed soft algebra.
3 The α∧ , β∨ -product of double-framed soft algebras α, β; E
and α, β; F
is
also a double-framed soft algebra.
Given a double-framed soft algebra, we have made a new double-framed soft algebra.
We have provided an example which shows that the new constructed double-framed soft set
is a double-framed soft algebra, but the given double-framed soft set is not a double-framed
soft algebra.
Future research will focus on applying the idea/result in this paper to the ideal theory
of BCK/BCI-algebras and related algebraic structures.

Acknowledgment
The authors wish to thank the anonymous reviewers for their valuable suggestions.

References
1 L. A. Zadeh, “From circuit theory to system theory,” Proceedings of the Institute of Radio Engineers, vol.
50, pp. 856–865, 1962.
2 L. A. Zadeh, “Fuzzy sets,” Information and Computation, vol. 8, pp. 338–353, 1965.
3 L. A. Zadeh, “Toward a generalized theory of uncertainty GTU—an outline,” Information Sciences,
vol. 172, no. 1-2, pp. 1–40, 2005.
4 D. Molodtsov, “Soft set theory—first results,” Computers & Mathematics with Applications, vol. 37, no.
4-5, pp. 19–31, 1999.
5 P. K. Maji, A. R. Roy, and R. Biswas, “An application of soft sets in a decision making problem,”
Computers & Mathematics with Applications, vol. 44, no. 8-9, pp. 1077–1083, 2002.
6 P. K. Maji, R. Biswas, and A. R. Roy, “Soft set theory,” Computers & Mathematics with Applications, vol.
45, no. 4-5, pp. 555–562, 2003.
7 H. Aktaş and N. Çağman, “Soft sets and soft groups,” Information Sciences, vol. 177, no. 13, pp. 2726–
2735, 2007.
8 Y. B. Jun and C. H. Park, “Applications of soft sets in ideal theory of BCK/BCI-algebras,” Information
Sciences, vol. 178, no. 11, pp. 2466–2475, 2008.
9 Y. B. Jun, K. J. Lee, and M. S. Kang, “Intersectional soft sets and application to BCK/BCI-algebras,”
Communications of the Korean Mathematical Society. In press.
10 Y. B. Jun, K. J. Lee, and E. H. Roh, “Intersectional soft BCK/BCI-ideals,” Annals of Fuzzy Mathematics
and Informatics, vol. 4, no. 1, pp. 1–7, 2012.
11 Y. B. Jun, “Union soft sets with applications in BCK/BCI-algebras,” Bulletin of the Korean Mathematical
Society. In press.
Journal of Applied Mathematics 15

12 U. Acar, F. Koyuncu, and B. Tanay, “Soft sets and soft rings,” Computers & Mathematics with Applica-
tions, vol. 59, no. 11, pp. 3458–3463, 2010.
13 A. O. Atagün and A. Sezgin, “Soft substructures of rings, fields and modules,” Computers & Mathe-
matics with Applications, vol. 61, no. 3, pp. 592–601, 2011.
14 N. Çağman, F. Çitak, and S. Enginoglu, “FP-soft set theory and its applications,” Annals of Fuzzy
Mathematics and Informatics, vol. 2, no. 2, pp. 219–226, 2011.
15 F. Feng, “Soft rough sets applied to multicriteria group decision making,” Annals of Fuzzy Mathematics
and Informatics, vol. 2, no. 1, pp. 69–80, 2011.
16 F. Feng, Y. B. Jun, and X. Zhao, “Soft semirings,” Computers & Mathematics with Applications, vol. 56,
no. 10, pp. 2621–2628, 2008.
17 Y. B. Jun, “Soft BCK/BCI-algebras,” Computers & Mathematics with Applications, vol. 56, no. 5, pp.
1408–1413, 2008.
18 Y. B. Jun, H. S. Kim, and J. Neggers, “Pseudo d-algebras,” Information Sciences. An International Journal,
vol. 179, no. 11, pp. 1751–1759, 2009.
19 Y. B. Jun, K. J. Lee, and A. Khan, “Soft ordered semigroups,” Mathematical Logic Quarterly, vol. 56, no.
1, pp. 42–50, 2010.
20 Y. B. Jun, K. J. Lee, and C. H. Park, “Soft set theory applied to ideals in d-algebras,” Computers &
Mathematics with Applications, vol. 57, no. 3, pp. 367–378, 2009.
21 Y. B. Jun, K. J. Lee, and J. Zhan, “Soft p-ideals of soft BCI-algebras,” Computers & Mathematics with
Applications, vol. 58, no. 10, pp. 2060–2068, 2009.
22 C. H. Park, Y. B. Jun, and M. A. Öztürk, “Soft WS-algebras,” Communications of the Korean Mathematical
Society, vol. 23, no. 3, pp. 313–324, 2008.
23 S. Z. Song, K. J. Lee, and Y. B. Jun, “Intersectional soft sets applied to subalgebras/ideals in BCK/BCI-
algebras,” Knowledge-Based Systems. In press.
24 J. Zhan and Y. B. Jun, “Soft BL-algebras based on fuzzy sets,” Computers & Mathematics with Applica-
tions, vol. 59, no. 6, pp. 2037–2046, 2010.
25 Y. Huang, BCI-Algebra, Science Press, Beijing, China, 2006.
26 J. Meng and Y. B. Jun, BCK-Algebras, Kyung Moon Sa Co., Seoul, Korea, 1994.
Advances in Advances in Journal of Journal of
Operations Research
Hindawi Publishing Corporation
Decision Sciences
Hindawi Publishing Corporation
Applied Mathematics
Hindawi Publishing Corporation
Algebra
Hindawi Publishing Corporation
Probability and Statistics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

The Scientific International Journal of

World Journal
Hindawi Publishing Corporation
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

Submit your manuscripts at

http://www.hindawi.com

International Journal of Advances in

Combinatorics
Hindawi Publishing Corporation
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

Journal of Journal of Mathematical Problems Abstract and Discrete Dynamics in

Complex Analysis
Hindawi Publishing Corporation
Mathematics
Hindawi Publishing Corporation
in Engineering
Hindawi Publishing Corporation
Applied Analysis
Hindawi Publishing Corporation
Nature and Society
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

International
Journal of Journal of
Mathematics and
Mathematical
Discrete Mathematics
Sciences

Journal of International Journal of Journal of

Hindawi Publishing Corporation Hindawi Publishing Corporation Volume 2014

Function Spaces
Hindawi Publishing Corporation
Stochastic Analysis
Hindawi Publishing Corporation
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 http://www.hindawi.com http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014