Skip to main content

On generalized intuitionistic fuzzy subhyperalgebras of Boolean hyperalgebras

Abstract

This paper deals with a special class of hyperalgebra, called Boolean hyperalgebra, which is redefined in it. We introduce the concepts of generalized intuitionistic fuzzy subhyperalgebras and generalized intuitionistic fuzzy hyperideals of Boolean hyperalgebras. A necessary and sufficient condition for an intuitionistic fuzzy subset of the Boolean hyperalgebra to be a generalized intuitionistic fuzzy subhyperalgebra (hyperideal) is proved. Images and inverse-images of generalized intuitionistic fuzzy subhyperalgebra (hyperideal) under Boolean hyperalgebra homomorphism are studied.

MSC: 03E72, 08A72.

1 Introduction

The applications of mathematics in other disciplines, for example, in informatics, play a key role, and they have represented, in the last decades, one of the purpose of the study of the experts of hyperstructure theory all over the world. Hyperstructure theory was introduced in 1934 by a French mathematician Marty [1], at the 8th Congress of Scandinavian Mathematicians, where he defined hypergroups based on the notion of hyperoperation, began to analyze their properties and applied them to groups. In the following decades and nowadays, a number of different hyperstructures have been widely studied from the theoretical point of view and for their applications to many subjects of pure and applied mathematics by many mathematicians such as in fuzzy sets and rough set theory, optimization theory, theory of discrete event dynamical systems, cryptography, codes, analysis of computer programs, automata, formal language theory, combinatorics, artificial intelligence, probability, graphs and hypergraphs, geometry, lattices and binary relations. In a classical algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two elements is a set. Several books have been written on hyperstructure theory, see [25]. A recent book on hyperstructures [3] points out their applications in rough set theory, cryptography, codes, automata, probability, geometry, lattices, binary relations, graphs and hypergraphs. Another book [4] is devoted especially to the study of hyperring theory. Several kinds of hyperrings are introduced and analyzed. The volume ends with an outline of applications in chemistry and physics, analyzing several special kinds of hyperstructures: e-hyperstructures and transposition hypergroups.

An algebraic hyperstructure (henceforth simply called a hyperalgebra) is a set endowed with one or more hyperoperations, i.e., multi-valued operations mapping a pair of elements to a set of elements. Hyperalgebras are generalizations of classical algebras, e.g., hypergroup is a generalization of group [2], hyperlattice and superlattice are generalizations of lattice [68] and so on.

As it is well known, in 1965 Zadeh [9] introduced the notion of set μ on a non-empty set X as a function from X to the unite real interval I=[0,1] as a fuzzy set. In 1971, Rosenfeld [10] introduced fuzzy sets in the context of group theory and formulated the concept of a fuzzy subgroup of a group. Since then, many researchers have been engaged in extending the concepts of abstract algebra to the framework of the fuzzy setting (cf. [1116]). The study of fuzzy hyperstructure is an interesting research topic of fuzzy sets and it is applied to the theory of algebraic hyperstructure. Fuzzy hyperalgebras were introduced rather recently. The relations between fuzzy sets and hyperstructures have been already considered by Corsini, Davvaz, Zahedi, Leoreanu-Fotea, Ameri, Borzoei, Hasankhani, Tofan, Kehagias, and many others (see [17, 18]). All these works are based on the use of fuzzy hyperoperations, i.e., a fuzzy hyperalgebra is a set equipped with one or more fuzzy hyperoperations. The concept of fuzzy hyperoperation is a natural extension of crisp hyperoperation: as already mentioned, a crisp hyperoperation maps a pair of elements to a crisp subset of elements; a fuzzy hyperoperation maps a pair of elements to a fuzzy subset. But in fuzzy sets theory, there is no means to incorporate the hesitation or uncertainty in the membership degrees. As an important generalization of the notion of fuzzy sets on a non-empty set X, in 1983, Atanassov introduced in [19, 20] the concept of intuitionistic fuzzy sets on a non-empty set X which give both a membership degree and a non-membership degree. The only constraint on these two degrees is that the sum must be smaller than or equal to 1. The concept has been applied to various algebraic structures (cf. [21, 22]). Since then, the notion of intuitionistic fuzzy sets has been explored by researchers, and a number of theoretical and practical results have appeared. Intuitionistic fuzzy sets as a generalization of fuzzy sets can be useful in situations when description of a problem by a (fuzzy) linguistic variable, given in terms of a membership function only, seems too rough. For example, in decision-making problems, particularly in the case of medial diagnosis, sales analysis, new product marketing, financial services, etc., there is a fair chance of the existence of a non-null hesitation part at each moment of evaluation of an unknown object. The relations between intuitionistic fuzzy sets and algebraic hyperstructures have been already considered by many mathematicians such as Davvaz, Dudek, Jun, Corsini, Zhan, Leoreanu-Fotea etc. (cf. [2326]). In [2731], some relations between fuzzy sets and Boolean algebras are considered.

In this paper, using Atanassov’s idea, we introduce the concepts of generalized intuitionistic fuzzy subhyperalgebras and generalized intuitionistic fuzzy hyperideals of Boolean hyperalgebras. A necessary and sufficient condition for an intuitionistic fuzzy subset of a Boolean hyperalgebra to be a generalized intuitionistic fuzzy subhyperalgebra (hyperideal) is proved. Images and inverse-images of the generalized intuitionistic fuzzy subhyperalgebra (hyperideal) under Boolean hyperalgebra homomorphism are studied. We introduce the notion of generalized intuitionistic fuzzy quotient Boolean hyperalgebra and several properties of it are studied.

2 Preliminaries

Recall first the basic terms and definitions from the hyperstructure theory and fuzzy set theory.

A map :H×H P (H) is called hyperoperation or join operation on the set H, where H is a non-empty set and P (H)=P(H){} denotes the set of all non-empty subsets of H.

If xH and A, B are non-empty subsets of H, then

AB= a A , b B ab,Ax=A{x},andxB={x}B.

In general, for a positive integer n, an n-ary hyperoperation β on H is a function β: H n P (H). We say that n is the arity of β. A subset S of H is closed under the n-ary hyperoperation β if ( x 1 ,..., x n ) S n implies that β( x 1 ,..., x n )S. A nullary hyperoperation on H is just an element of P (H); i.e., a non-void subset of H. A hyperalgebraic system or a hyperalgebra H,( β i :iI) is the set H with a collection ( β i |iI) of hyperoperations on H.

A subset S of a hyperalgebra H=H,( β i :iI) is a subhyperalgebra of H if S is closed under each hyperoperation β i for all iI, that is, β i ( a 1 ,, a n i )S, whenever ( a 1 ,, a n i ) S n i .

Definition 2.1 Let X be a non-empty set. A fuzzy subset μ of X is a function μ:X[0,1]. Let μ, λ be two fuzzy subsets of X, we say that μ is contained in λ if μ(x)λ(x), xX.

Definition 2.2 Let μ be a fuzzy subset of a set X, and let t[0,1]. The set μ t ={xX:μ(x)t} is called a level subset of μ.

Definition 2.3 Let H=H,( β i :iI) and H ¯ =H,( β i ¯ :iI) be two similar hyperalgebras. A map h from into H ¯ is called

  1. (i)

    a homomorphism if for every iI and all ( a 1 ,, a n i ) H n i , we have that h( β i ( a 1 ,, a n i )) β i ¯ (h( a 1 ),,h( a n i ));

  2. (ii)

    a good homomorphism if for every iI and all ( a 1 ,, a n i ) H n i , we have that h( β i ( a 1 ,, a n i ))= β i ¯ (h( a 1 ),,h( a n i )).

Let us introduce below Boolean hyperalgebra in a different way (see [32], cf. [3336]).

Definition 2.4 A Boolean hyperalgebra is a hyperstructure (B,,,0,1 , ), where B is a non-empty set, :B×BP(B), :B×BP(B), : BB, 0 and 1 are two distinguished elements such that:

  1. (1)

    aB, aaa, aaa;

  2. (2)

    a, bB, ab=ba, ab=ba;

  3. (3)

    a,b,cB, a(bc)=(ab)c, a(bc)=(ab)c;

  4. (4)

    a,bB, aa(ab), aa(ab);

  5. (5)

    a,bB, aabbab;

  6. (6)

    a,b,cB, a(bc)=(ab)(ac);

  7. (7)

    aB, 0a=a, 0a=0, 11a, 1a=a;

  8. (8)

    aB, a a =1, a a =0.

A Boolean hyperalgebra is said to be strong if

  1. (9)

    a,bB, ab={wB: a w = b w = a b }.

Definition 2.5 Let (B,,,0,1 , ) be a Boolean hyperalgebra. If for any a,bB, bab, then a is not larger than b, and we use ab to stand for.

3 Generalized intuitionistic fuzzy subhyperalgebras

In this section, we introduce the notion of generalized intuitionistic fuzzy subhyperalgebras of a Boolean hyperalgebra and several properties of them are investigated. Several conditions of an intuitionistic fuzzy subset of a Boolean hyperalgebra to be a generalized intuitionistic fuzzy subhyperalgebra are given.

Atanassov introduced in [19, 37] the concept of intuitionistic fuzzy sets defined on a non-empty set X as objects having the form

A= { x , μ A ( x ) , λ A ( x ) | x X } ,

where the functions μ A :X[0,1] and λ A :X[0,1] denote the degree of membership (namely μ A (x)) and the degree of non-membership (namely λ A (x)) of each element xX to the set A respectively, and 0 μ A (x)+ λ A (x)1 for all xX.

Obviously, any ordinary fuzzy set may be written as

A= { x , μ A ( x ) , 1 μ A ( x ) | x X } .

Let A and B be two intuitionistic fuzzy sets on X. The following expressions are defined in [37, 38].

  1. (1)

    AB if and only if μ A (x) μ B (x) and λ A (x) λ B (x) for all xX.

  2. (2)

    A=B if and only if AB and BA.

  3. (3)

    A c ={x, λ A (x), μ A (x)|xX}.

  4. (4)

    AB={x, μ A (x) μ B (x), λ A (x) λ B (x)|xX}.

  5. (5)

    AB={x, μ A (x) μ B (x), λ A (x) λ B (x)|xX}.

  6. (6)

    A={x, μ A (x),1 μ A (x)|xX}.

  7. (7)

    A={x,1 λ A (x), λ A (x)|xX}.

For the sake of simplicity, we use the symbol A=( μ A , λ A ) for an intuitionistic fuzzy set A={x, μ A (x), λ A (x)|xX}.

For any fuzzy set μ of X and any t[0,1], U(μ;t)={xX|μ(x)x} is called an upper bound t-level cut of μ and L(μ;t)={xX|μ(x)x} is called a lower bound t-level cut of μ.

Let f be a mapping from a set X to a set Y. Let A=( μ A , λ A ) be an intuitionistic fuzzy subset of X and B=( μ B , λ B ) be an intuitionistic fuzzy subset of Y. Then the inverse image f 1 (B) of B is the intuitionistic fuzzy set of X defined by f 1 (B)=( f 1 ( μ B ), f 1 ( λ B )), where f 1 ( μ B )(x)= μ B (f(x)) and f 1 ( λ B )= λ B (f(x)). The image f(μ) of μ is the fuzzy subset of Y defined by

f(μ)(y)= { sup { μ ( t ) | t f 1 ( y ) } if  f 1 ( y ) , 0 otherwise

for all yY.

The image f(B) of the intuitionistic fuzzy subset B=( μ B , λ B ) is the intuitionistic fuzzy set in Y defined by f(B)=(f( μ B ), f ( λ B )), where for every yY,

f ( μ B ) ( y ) = { sup { μ B ( t ) | t f 1 ( y ) } if  f 1 ( y ) , 0 otherwise , f ( λ B ) ( y ) = { inf { λ B ( t ) | t f 1 ( y ) } if  f 1 ( y ) , 0 otherwise .

Definition 3.1 A fuzzy subset μ of a Boolean hyperalgebra B is said to be a fuzzy subhyperalgebra of B if for all a,bB,

  1. (1)

    inf t a b μ(t)min{μ(a),μ(b)};

  2. (2)

    inf t a b μ(t)min{μ(a),μ(b)};

  3. (3)

    μ( a )μ(a).

Definition 3.2 A fuzzy subset μ of a Boolean hyperalgebra B is said to be a fuzzy hyperideal of B if for all a,bA,

  1. (1)

    inf t a b μ(t)min{μ(a),μ(b)};

  2. (2)

    inf t a b μ(t)μ(b).

Definition 3.3 Let B be a Boolean hyperalgebra and t(0,1]. An intuitionistic fuzzy subset A=( μ A , λ A ) of B is said to be a generalized intuitionistic fuzzy subhyperalgebra of B if for all a,bB,

  1. (1)

    inf x a b μ A (x)min{ μ A (a), μ A (b),t} and sup x a b λ A (x)max{ λ A (a), λ A (b),t};

  2. (2)

    inf x a b μ A (x)min{ μ A (a), μ A (b),t} and sup x a b λ A (x)max{ λ A (a), λ A (b),t};

  3. (3)

    μ A ( a )min{ μ A (a),t} and λ A ( a )max{ λ A (a),t}.

It is obvious that H is the subhyperalgebra of A iff the characteristic function χ H of H is a generalized intuitionistic fuzzy subhyperalgebra of A.

Proposition 3.4 Let A=( μ A , λ A ) be an intuitionistic fuzzy subset of a Boolean hyperalgebra B and t(0,1]. If for all a,bB, the following hold:

  1. (1)

    inf x a b μ A (x)min{ μ A (a), μ A (b),t} and sup x a b λ A (x)max{ λ A (a), λ A (b),t};

  2. (2)

    μ A ( a )min{ μ A (a),t} and λ A ( a )max{ λ A (a),t},

then A=( μ A , λ A ) is a generalized intuitionistic fuzzy subhyperalgebra of B.

Proof We have to prove only that condition (2) of Definition 3.3 holds. Indeed, for all a,bB, we have

inf x a b μ A ( x ) = inf y ( a b ) μ A ( y ) min { inf z ( a b ) μ A ( z ) , t } min { min { μ A ( a ) , μ A ( b ) , t } , t } min { μ A ( a ) , μ A ( b ) , t } ,

and

sup x a b λ A ( x ) = sup y ( a b ) λ A ( y ) max { sup z ( a b ) λ A ( z ) , t } max { max { λ A ( a ) , λ A ( b ) , t } , t } max { λ A ( a ) , λ A ( b ) , t } .

So, condition (2) of Definition 3.3 is true. □

Proposition 3.5 Let A=( μ A , λ A ) be an intuitionistic fuzzy subset of a Boolean hyperalgebra B and t(0,1]. If for all a,bB, the following hold:

  1. (1)

    inf x a b μ A (x)min{ μ A (a), μ A (b),t} and sup x a b λ A (x)max{ λ A (a), λ A (b),t};

  2. (2)

    μ A ( a )min{ μ A (a),t} and λ A ( a )max{ λ A (a),t},

then A=( μ A , λ A ) is a generalized intuitionistic fuzzy subhyperalgebra of B.

Proof We have to prove only that condition (1) of Definition 3.3 holds. Indeed, for all a,bB, we have

inf x a b μ A ( x ) = inf y ( a b ) μ A ( y ) min { inf z a b μ A ( z ) , t } min { min { μ A ( a ) , μ A ( b ) , t } , t } min { μ A ( a ) , μ A ( b ) , t }

and

sup x a b λ A ( x ) = sup y ( a b ) λ A ( y ) max { sup z a b λ A ( z ) , t } max { max { λ A ( a ) , λ A ( b ) , t } , t } max { λ A ( a ) , λ A ( b ) , t } .

So, condition (1) of Definition 3.3 is true. □

Proposition 3.6 Let A=( μ A , λ A ) be an intuitionistic fuzzy subset of a Boolean hyperalgebra B. Then A=( μ A , λ A ) is a generalized intuitionistic fuzzy subhyperalgebra of B if and only if U( μ A ;s) and L( λ A ;s) are subhyperalgebras of B for all s(0,t] when they are non-empty.

Proof Let A=( μ A , λ A ) be a generalized intuitionistic fuzzy subhyperalgebra of B,s(0,t] and a,bU( μ A ;s). Then we have

inf x a b μ A ( x ) min { μ A ( a ) , μ A ( b ) , t } s , inf y a b μ A ( y ) min { μ A ( a ) , μ A ( b ) , t } s ,

and

μ A ( a ) min { μ A ( a ) , t } s.

So, abU( μ A ;s), abU( μ A ;s) and a U( μ A ;s). Therefore U( μ A ;s) is a subhyperalgebra of B. In a similar way, it is shown that L( λ A ;s) is a subhyperalgebra of B.

Conversely, let U( μ A ;s) and L( λ A ;s) be subhyperalgebras of B for all s(0,t]. If there exist a,bB such that

inf x a b μ A (x)<c=min { μ A ( a ) , μ A ( b ) , t } ,

then a,bU( μ A ;c), c(0,t] and inf y a b μ A (y)<c. Since U( μ A ;c) is a subhyperalgebra of B, we have abU( μ A ;c) and inf x a b μ A (x)c. This is impossible, because inf x a b μ A (x)<c. Therefore, for all a,bB, inf x a b μ A (x)min{ μ A (a), μ A (b),t}.

Using the same method, for all a,bB, we have inf x a b μ A (x)min{ μ A (a), μ A (b),t} and μ A ( a )min{ μ A (a),t}.

In a similar way, we can operate for L( λ A ;s).

From all the above, we conclude that A=( μ A , λ A ) is a generalized intuitionistic fuzzy subhyperalgebra of B. □

Proposition 3.7 Let B be a Boolean hyperalgebra and A=( μ A , λ A ), C=( μ C , λ C ) be generalized intuitionistic fuzzy subhyperalgebras of B. Then AC is also a generalized intuitionistic fuzzy subhyperalgebra of B.

Proof Let D=AC. For all a,bB, we have

inf x a b μ D ( x ) = min { inf y a b μ A ( y ) , inf z a b μ C ( z ) } min { min { μ A ( a ) , μ A ( b ) , t } , min { μ C ( a ) , μ C ( b ) , t } } min { min { μ A ( a ) , μ C ( a ) } , min { μ A ( b ) , μ C ( b ) } , t } min { μ D ( a ) , μ D ( b ) , t }

and

sup x a b λ D ( x ) = max { sup y a b λ A ( y ) , sup z a b λ C ( z ) } max { max { λ A ( a ) , λ A ( b ) , t } , max { λ C ( a ) , λ C ( b ) , t } } max { max { λ A ( a ) , λ C ( a ) } , max { λ A ( b ) , λ C ( b ) } , t } max { λ D ( a ) , λ D ( b ) , t } .

Also,

( μ D ) ( a ) min { μ A ( a ) , μ C ( a ) , t } and( λ D ) ( a ) max { λ A ( a ) , λ C ( a ) , t } .

Therefore AC is also a generalized intuitionistic fuzzy subhyperalgebra of B. □

Proposition 3.8 Let B, B be two Boolean hyperalgebras and f:B B be a homomorphism. If f is surjective and A=( μ A , λ A ) is a generalized intuitionistic fuzzy subhyperalgebra of B, then f(A) is a generalized intuitionistic fuzzy subhyperalgebra of B .

Proof It is straightforward. □

Proposition 3.9 Let B, B be two Boolean hyperalgebras and f:B B be a homomorphism. If C=( μ C , λ C ) is a generalized intuitionistic fuzzy subhyperalgebra of B , then f 1 (C) is a generalized intuitionistic fuzzy subhyperalgebra of B.

Proof It is straightforward. □

4 Generalized intuitionistic fuzzy hyperideals

In this section, we introduce the notion of generalized intuitionistic fuzzy hyperideals of a Boolean hyperalgebra and several properties of them are investigated. Several conditions of an intuitionistic fuzzy subset of a Boolean hyperalgebra to be a generalized intuitionistic fuzzy hyperideal are given.

Definition 4.1 Let B be a Boolean hyperalgebra, t(0,1] and A=( μ A , λ A ) be an intuitionistic fuzzy subset of B. Then A is called a generalized intuitionistic fuzzy hyperideal of B if for all a,bB, we have

  1. (1)

    inf x a b μ A (x)min{ μ A (a), μ A (b),t} and sup x a b λ A (x)max{ λ A (a), λ A (b),t},

  2. (2)

    inf y a b μ A (y)min{ μ A (b),t} and sup y a b λ A (y)max{ λ A (b),t}.

Proposition 4.2 Let B be a Boolean hyperalgebra and A=( μ A , λ A ) be an intuitionistic fuzzy subset of B. Then A is a generalized intuitionistic fuzzy hyperideal of B if and only if U( μ A ;s) and L( λ A ;s) are hyperideals of B for all s(0,t] when they are non-empty.

Proof It is straightforward. □

Proposition 4.3 Let B be a Boolean hyperalgebra and A=( μ A , λ A ), C=( μ C , λ C ) be two generalized intuitionistic fuzzy hyperideals of B. Then AC is also a generalized intuitionistic fuzzy hyperideal of B.

Proof It is straightforward. □

Proposition 4.4 Let B, B be two Boolean hyperalgebras and f:B B be a homomorphism. If f is surjective and A=( μ A , λ A ) is a generalized intuitionistic fuzzy hyperideal of B, then f(A) is a generalized intuitionistic fuzzy hyperideal of B .

Proof It is straightforward. □

Proposition 4.5 Let B, B be two Boolean hyperalgebras and f:B B be a homomorphism. If C=( μ C , λ C ) is a generalized intuitionistic fuzzy hyperideal of B , then f 1 (C) is a generalized intuitionistic fuzzy hyperideal of B.

Proof It is straightforward. □

Let A=( μ A , λ A ) be a generalized intuitionistic fuzzy hyperideal of A. When μ A (0)<t and λ A (0)<t, the intuitionistic fuzzy hyperideal of B is equal to the generalized intuitionistic fuzzy hyperideal of B. In the following, it is assumed that the generalized intuitionistic fuzzy hyperideal A=( μ A , λ A ) of B satisfies the conditions μ A (0)t and λ A (0)t.

Proposition 4.6 Let A be a Boolean hyperalgebra and A=( μ A , λ A ) be a generalized intuitionistic fuzzy hyperideal of B. If a,bB and ab, then μ A (a)min{ μ A (b),t} and λ A (a)max{ λ A (b),t}.

Proof We have μ A (a) inf x a b μ A (x)min{ μ A (b),t} and λ A (a) sup x a b λ A (x)max{ λ A (b),t}. □

Definition 4.7 Let B be a Boolean hyperalgebra and A=( μ A , λ A ) be a generalized intuitionistic fuzzy hyperideal of B. If there exists aB such that μ A (a)<t and λ A (a)<t, then A=( μ A , λ A ) is said to be a generalized intuitionistic fuzzy proper hyperideal of B.

Proposition 4.8 Let B be a Boolean hyperalgebra and A=( μ A , λ A ) be a generalized intuitionistic fuzzy hyperideal of B. Then μ A (1)<t and λ A (1)<t.

5 Generalized intuitionistic fuzzy quotient Boolean hyperalgebra

In this section, we introduce the notion of generalized intuitionistic fuzzy quotient Boolean hyperalgebras and several properties of them are studied.

Let A=( μ A , λ A ) be a generalized intuitionistic fuzzy hyperideal of B, and let the intuitionistic fuzzy subset [ a ] A =( μ [ a ] A , λ [ a ] A ) of B be defined as follows:

x B , μ [ a ] A ( x ) = min { inf y ( ( a x ) ( a x ) ) μ A ( y ) , t } and λ [ a ] A ( x ) = max { sup y ( ( a x ) ( a x ) ) λ A ( y ) , t } .

We denote B/A={ [ a ] A :aB}.

Proposition 5.1 Let B be a Boolean hyperalgebra, A=( μ A , λ A ) be a generalized intuitionistic fuzzy hyperideal of B and [ a ] A , [ b ] A B/A. Then we have [ a ] A = [ b ] A iff inf y ( ( a b ) ( a b ) ) μ A (y)t and sup y ( ( a b ) ( a b ) ) λ A (y)t.

Proof Let [ a ] A = [ b ] A , then we have

min { inf y ( ( a b ) ( a b ) ) μ A ( y ) , t } =min { inf z ( ( b b ) ( b b ) ) μ A ( z ) , t } =min { μ A ( 0 ) , t } =t.

Therefore inf y ( ( a b ) ( a b ) ) μ A (y)t. Also,

max { sup y ( ( a b ) ( a b ) ) λ A ( y ) , t } = max { sup z ( ( b b ) ( b b ) ) λ A ( z ) , t } = max { λ A ( 0 ) , t } = t .

Therefore sup y ( ( a b ) ( a b ) ) λ A (y)t.

On the other hand, for all xB,

μ [ a ] A ( x ) = min { inf y ( ( a x ) ( a x ) ) μ A ( y ) , t } = min { inf y ( ( ( a x ) ( a x ) ) ( b b ) ) μ A ( y ) , t } = min { inf y ( ( a b x ) ( a b x ) ( a b x ) ( a b x ) ) μ A ( y ) , t } min { inf y ( ( a b x ) ( a b x ) ) μ A ( y ) , inf z ( ( a b x ) ( a b x ) ) μ A ( z ) , t } min { inf y ( ( a b ) ( a b ) ) μ A ( y ) , inf z ( ( b x ) ( b x ) ) μ A ( z ) , t } = min { inf y ( ( b x ) ( b x ) ) μ A ( y ) , t } = μ [ b ] A ( x ) .

That is, μ [ a ] A (x) μ [ b ] A (x). Also,

λ [ a ] A ( x ) = max { sup y ( ( a x ) ( a x ) ) λ A ( y ) , t } = max { sup y ( ( ( a x ) ( a x ) ) ( b b ) ) λ A ( y ) , t } = max { sup y ( ( a b x ) ( a b x ) ( a b x ) ( a b x ) ) λ A ( y ) , t } max { sup y ( ( a b x ) ( a b x ) ) λ A ( y ) , sup z ( ( a b x ) ( a b x ) ) λ A ( z ) , t } max { sup y ( ( a b ) ( a b ) ) λ A ( y ) , sup z ( ( b x ) ( b x ) ) λ A ( z ) , t } = max { sup y ( ( b x ) ( b x ) ) λ A ( y ) , t } = λ [ b ] A ( x ) .

That is, λ [ a ] A (x) λ [ b ] A (x).

By the same method, we have μ [ a ] A (x) μ [ b ] A (x) and λ [ a ] A (x) λ [ b ] A (x). Hence μ [ a ] A = μ [ b ] A and λ [ a ] A (x)= λ [ b ] A (x). Therefore [ a ] A = [ b ] A . □

Proposition 5.2 Let B be a Boolean hyperalgebra, A=( μ A , λ A ) be a generalized intuitionistic fuzzy hyperideal of B, a,b, a 1 , b 1 B. Then we have:

  1. (1)

    If μ [ a ] A = μ [ a 1 ] A , μ [ b ] A = μ [ b 1 ] A and λ [ a ] A = λ [ a 1 ] A , λ [ b ] A = λ [ b 1 ] A , then μ [ a b ] A = μ [ a 1 b 1 ] A and λ [ a b ] A = λ [ a 1 b 1 ] A , i.e., [ a b ] A = [ a 1 b 1 ] A ;

  2. (2)

    If μ [ a ] A = μ [ a 1 ] A , μ [ b ] A = μ [ b 1 ] A and λ [ a ] A = λ [ a 1 ] A , λ [ b ] A = λ [ b 1 ] A , then μ [ a b ] A = μ [ a 1 b 1 ] A and λ [ a b ] A = λ [ a 1 b 1 ] A , i.e., [ a b ] A = [ a 1 b 1 ] A ;

  3. (3)

    If μ [ a ] A = μ [ a 1 ] A and λ [ a ] A = λ [ a 1 ] A , then μ [ a ] A = μ [ a 1 ] A and λ [ a ] A = λ [ a 1 ] A , i.e., [ a ] A = [ a 1 ] A .

Proof (1)

inf x ( ( ( a b ) ( a 1 b 1 ) ) ( ( a b ) ( a 1 b 1 ) ) ) μ A ( x ) inf y ( ( ( a b ) ( a 1 b 1 ) ) ( ( a b ) ( a 1 b 1 ) ) ) μ A ( y ) inf z ( ( ( a a 1 b ) ( a a 1 b 1 ) ) ( ( a b b 1 ) ( a 1 b b 1 ) ) ) μ A ( z ) min { inf w ( ( ( a a 1 b ) ( a a 1 b 1 ) ) ) μ A ( w ) , inf h ( ( ( a b b 1 ) ( a 1 b b 1 ) ) ) μ A ( h ) } min { min { inf p ( ( a a 1 ) ( a a 1 ) ) μ A ( p ) , t } , min { inf q ( ( b b 1 ) ( b b 1 ) ) μ A ( q ) , t } } t .

Hence μ [ a b ] A = μ [ a 1 b 1 ] A . Also,

sup x ( ( ( a b ) ( a 1 b 1 ) ) ( ( a b ) ( a 1 b 1 ) ) ) λ A ( x ) sup y ( ( ( a b ) ( a 1 b 1 ) ) ( ( a b ) ( a 1 b 1 ) ) ) λ A ( y ) sup z ( ( ( a a 1 b ) ( a a 1 b 1 ) ) ( ( a b b 1 ) ( a 1 b b 1 ) ) ) λ A ( z ) max { sup w ( ( ( a a 1 b ) ( a a 1 b 1 ) ) ) λ A ( w ) , sup h ( ( ( a b b 1 ) ( a 1 b b 1 ) ) ) λ A ( h ) } max { max { sup p ( ( a a 1 ) ( a a 1 ) ) λ A ( p ) , t } , max { sup q ( ( b b 1 ) ( b b 1 ) ) λ A ( q ) , t } } t .

Hence λ [ a b ] A = λ [ a 1 b 1 ] A . Therefore [ a b ] A = [ a 1 b 1 ] A .

Similarly we can prove (2) and (3). □

Let A=( μ A , λ A ) be a generalized intuitionistic fuzzy hyperideal of the Boolean hyperalgebra B. The hyperoperations , and the operation ′ of B/A are defined as follows:

For all [ a ] A =( μ [ a ] A , λ [ a ] A ), [ b ] A =( μ [ b ] A , λ [ b ] A )B/A, then

[ a ] A [ b ] A = { x , μ [ a b ] A ( x ) , λ [ a b ] A ( x ) | x B } [ a ] A [ b ] A = { x , μ [ a b ] A ( x ) , λ [ a b ] A ( x ) | x B } ( [ a ] A ) = { x , μ ( [ a ] A ) ( x ) , λ ( [ a ] A ) ( x ) | x B } ,

where

μ [ a b ] A = { μ [ x ] A : x a b } and λ [ a b ] A = { λ [ x ] A : x a b } ; μ [ a b ] A = { μ [ x ] A : x a b } and λ [ a b ] A = { λ [ x ] A : x a b } ; μ ( [ a ] A ) = μ [ a ] A and λ ( [ a ] A ) = λ [ a ] A .

By Proposition 5.2, the above hyperoperations and operation are reasonable.

Proposition 5.3 Let B be a Boolean hyperalgebra, A=( μ A , λ A ) be a generalized intuitionistic fuzzy proper hyperideal of B. Then B/A={B/A;, , , [ 0 ] A , [ 1 ] A } is a Boolean hyperalgebra.

Proof It is easy and omitted. □

Let B be a Boolean hyperalgebra, A=( μ A , λ A ) be a generalized intuitionistic fuzzy subhyperalgebra of B, C=( μ C , λ C ) be a generalized intuitionistic fuzzy proper hyperideal of B. We define an intuitionistic fuzzy subset of A/C as follows:

A/C= { x , μ A / C ( x ) , λ A / C ( x ) | x B } ,

where μ A / C :B/C[0,1]

μ A / C ( [ a ] C ) = sup [ x ] C [ a ] C μ C (x), [ a ] C B/C,

and λ A / C :B/C[0,1]

λ A / C ( [ a ] C ) = inf [ x ] C [ a ] C λ C (x), [ a ] C B/C.

Proposition 5.4 Let B be a Boolean hyperalgebra, A=( μ A , λ A ) be a generalized fuzzy subhyperalgebra of B, C=( μ C , λ C ) be a generalized intuitionistic fuzzy proper hyperideal of B, then A/C is a generalized intuitionistic fuzzy subhyperalgebra of B/C.

Proof (1) [ a ] C , [ b ] C B/C, we have

inf [ x ] C ( [ a ] C [ b ] C ) μ A / C ( [ x ] C ) = inf [ x ] C ( [ a b ] C ) μ A / C ( [ x ] C ) = inf [ x ] C ( [ a b ] C ) sup [ y ] C [ x ] C μ C ( y ) sup [ p ] C [ a ] C , [ q ] C [ b ] C , z p q μ C ( z ) sup [ p ] C [ a ] C , [ q ] C [ b ] C min { μ C ( p ) , μ C ( q ) , t } = min { ( sup [ p ] C [ a ] C μ C ( p ) ) , ( sup [ q ] C [ b ] C μ C ( q ) ) , t } = min { μ A / C ( [ a ] C ) , μ A / C ( [ b ] C ) , t } ,

and [ a ] C , [ b ] C B/C, we have

sup [ x ] C ( [ a ] C [ b ] C ) λ A / C ( [ x ] C ) = sup [ x ] C ( [ a b ] C ) λ A / C ( [ x ] C ) = sup [ x ] C ( [ a b ] C ) inf [ y ] C [ x ] C λ C ( y ) inf [ p ] C [ a ] C , [ q ] C [ b ] C , z p q λ C ( z ) inf [ p ] C [ a ] C , [ q ] C [ b ] C max { λ C ( p ) , λ C ( q ) , t } = max { ( inf [ p ] C [ a ] C λ C ( p ) ) , ( inf [ q ] C [ b ] C μ C ( q ) ) , t } = max { λ A / C ( [ a ] C ) , λ A / C ( [ b ] C ) , t } .
  1. (2)

    For all [ a ] C B/C,

    μ A / C ( ( [ a ] C ) ) = μ A / C ( [ a ] C ) = sup [ x ] C [ a ] C μ C ( x ) sup ( [ x ] C ) ( [ a ] C ) min { μ C ( x ) , t } = min { ( sup [ x ] C [ a ] C μ C ( x ) ) , t } = min { μ A / C ( [ a ] C ) , t } ,

and

λ A / C ( ( [ a ] C ) ) = λ A / C ( [ a ] C ) = inf [ x ] C [ a ] C λ C ( x ) inf ( [ x ] C ) ( [ a ] C ) max { λ C ( x ) , t } = max { ( inf [ x ] C [ a ] C λ C ( x ) ) , t } = max { λ A / C ( [ a ] C ) , t } .

Hence A/C is a generalized intuitionistic fuzzy subhyperalgebra of B/C. □

Definition 5.5 Let B be a Boolean hyperalgebra, A=( μ A , λ A ) be a generalized intuitionistic fuzzy subhyperalgebra of B, C=( μ C , λ C ) be a generalized intuitionistic fuzzy proper hyperideal of B, then A/C is called generalized intuitionistic fuzzy quotient Boolean hyperalgebra of A with respect to C.

Definition 5.6 Let B, B be two Boolean hyperalgebras, f:B B be a Boolean hyperalgebra homomorphism, A=( μ A , λ A ), C=( μ C , λ C ) be generalized intuitionistic fuzzy subhyperalgebras of B and B , respectively. If f(A)=C, then we say A is homomorphic to C, which is denoted as AC.

Proposition 5.7 Let B be a Boolean hyperalgebra, A=( μ A , λ A ) be a generalized intuitionistic fuzzy subhyperalgebra of B, C=( μ C , λ C ) be a generalized intuitionistic fuzzy proper hyperideal of B. Then AA/C.

Proof Let f:BB/C, f(x)= [ x ] C , xB. For all a,bB, we have

f ( a b ) = [ a b ] C = [ a ] C [ b ] C = f ( a ) f ( b ) , f ( a b ) = [ a b ] C = [ a ] C [ b ] C = f ( a ) f ( b ) , f ( a ) = [ a ] C = ( [ a ] C ) = ( f ( a ) ) .

Hence f is a Boolean hyperalgebra homomorphism.

For all [ a ] C B/C, we have

f ( μ A / C ) ( [ a ] C ) = sup f ( x ) [ a ] C μ C ( x ) = sup [ x ] C [ a ] C μ C ( x ) = μ A / C ( [ a ] C ) ,

and

f ( λ A / C ) ( [ a ] C ) = inf f ( x ) [ a ] C λ C ( x ) = inf [ x ] C [ a ] C λ C ( x ) = λ A / C ( [ a ] C ) .

Hence AA/C. □

References

  1. Marty F: Sur une generalization de la notion de group. 8th Congres Math. Scandinaves 1934, Stockholm 45–49.

    Google Scholar 

  2. Corsini P: Prolegomena of Hypergroup Theory. 2nd edition. Aviani Editor, Tricesimo; 1993.

    Google Scholar 

  3. Corsini P, Leoreanu-Fotea V: Applications of Hyperstructure Theory, Advances in Mathematics. Kluwer Academic, Dordrecht; 2003.

    Book  Google Scholar 

  4. Davvaz B, Leoreanu-Fotea V: Hyperring Theory and Applications. International Academic Press, Palm Harber; 2007.

    Google Scholar 

  5. Vougiouklis T 115. In Hyperstructures and Their Representations. Hadronic Press, Palm Harber; 1994.

    Google Scholar 

  6. Konstantinidou M, Mittas J: An introduction to the theory of hyperlattices. Math. Balk. 1977, 7: 187–193.

    MathSciNet  Google Scholar 

  7. Serafimidis K, Kehagias A, Konstantinidou M:The structure of the (P,Q)-superlattice and order related properties. Ital. J. Pure Appl. Math. 2004, 15: 133–150.

    MathSciNet  Google Scholar 

  8. Serafimidis K, Kehagias A:Some representation results for (P,Q)-superlattices. Ital. J. Pure Appl. Math. 2004, 15: 151–164.

    MathSciNet  Google Scholar 

  9. Zadeh LA: Fuzzy sets. Inf. Control 1965, 8: 338–353. 10.1016/S0019-9958(65)90241-X

    Article  MathSciNet  Google Scholar 

  10. Rosenfeld A: Fuzzy groups. J. Math. Anal. Appl. 1971, 35(3):512–517. 10.1016/0022-247X(71)90199-5

    Article  MathSciNet  Google Scholar 

  11. Abdullah S, Aslam M, Khan TA, Naeem M: A new type of fuzzy normal subgroup and fuzzy coset. J. Intell. Fuzzy Syst. 2013, 25: 37–47.

    MathSciNet  Google Scholar 

  12. Chen DG, Li SY: Fuzzy factor rings. Fuzzy Sets Syst. 1998, 94: 125–127. 10.1016/S0165-0114(96)00241-2

    Article  Google Scholar 

  13. Gu WX, Lu T: Fuzzy algebras over fuzzy fields redefined. Fuzzy Sets Syst. 1993, 53: 105–107. 10.1016/0165-0114(93)90526-N

    Article  MathSciNet  Google Scholar 

  14. Nanda S: Fuzzy algebras over a fuzzy fields. Fuzzy Sets Syst. 1990, 37: 99–103. 10.1016/0165-0114(90)90067-G

    Article  MathSciNet  Google Scholar 

  15. Yuan XH, Zhang C, Ren YH: Generalized groups and many-valued implications. Fuzzy Sets Syst. 2003, 138: 205–211. 10.1016/S0165-0114(02)00443-8

    Article  MathSciNet  Google Scholar 

  16. Kuraoka T, Nobuaki K: On fuzzy quotient-rings induced by fuzzy ideals. Fuzzy Sets Syst. 1992, 47: 381–386. 10.1016/0165-0114(92)90303-L

    Article  Google Scholar 

  17. Davvaz B: A survey of fuzzy algebraic hyperstructures. Algebras Groups Geom. 2010, 27: 37–62.

    MathSciNet  Google Scholar 

  18. Corsini P, Leoreanu-Fotea V: Fuzzy sets and join spaces associated with rough sets. Rend. Circ. Mat. Palermo 2002, 2(51):527–536.

    Article  MathSciNet  Google Scholar 

  19. Atanassov, K: Intuitionistic fuzzy sets. Central Tech. Library, Bulgarian Academy Science, Sofia, Bulgaria, Rep. No. 1697/84 (1983)

    Google Scholar 

  20. Atanassov K Studies in Fuzziness and Soft Computing 35. In Intuitionistic Fuzzy Sets, Theory and Applications. Physica-Verlag, Heidelberg; 1999.

    Chapter  Google Scholar 

  21. Abdullah S, Davvaz B, Aslam M: (α,β)-Intuitionistic fuzzy ideals in hemirings. Comput. Math. Appl. 2011, 62(8):3077–3090. 10.1016/j.camwa.2011.08.021

    Article  MathSciNet  Google Scholar 

  22. Abdullah, S, Aslam, M, Hedayati, H: Interval valued (α, β)-intuitionistic fuzzy ideals in hemirings. J. Intell. Fuzzy Syst. doi:10.3233/IFS-130954. 10.3233/IFS-130954

  23. Ahmad A, Aslam M, Abdullah S:Interval valued (α,β)-fuzzy hyperideals of semihyperring. Sci. Bull. “Politeh.” Univ. Buchar., Ser. A, Appl. Math. Phys. 2013, 75(2):69–86.

    Google Scholar 

  24. Davvaz B, Dudek WA, Jun YB: Intuitionistic fuzzy Hv -submodules. Inf. Sci. 2006, 176: 285–300. 10.1016/j.ins.2004.10.009

    Article  MathSciNet  Google Scholar 

  25. Dudek WA, Davvaz B, Jun YB: On intuitionistic fuzzy subhyperquasi-groups of hyperquasigroups. Inf. Sci. 2005, 170: 251–262. 10.1016/j.ins.2004.02.025

    Article  MathSciNet  Google Scholar 

  26. Hila, K, Abdullah, S: A study on intuitionistic fuzzy sets in Γ-semihypergroups. J. Intell. Fuzzy Syst. doi:10.3233/IFS-130849. 10.3233/IFS-130849

  27. Sun SQ: Fuzzy subalgebras and fuzzy ideals of Boolean algebra. Fuzzy Syst. Math. 2006, 20(1):90–94.

    Google Scholar 

  28. Sun SQ, Gui WX: Fuzzy congruence relations on Boolean algebra. Fuzzy Syst. Math. 2005, 19(4):34–38.

    Google Scholar 

  29. Sun SQ: Generalized fuzzy subalgebras of Boolean algebras. Proceedings of the International Workshop on Information Security and Application (IWISA 2009), Qingdao, China, November 21-22 2009.

    Google Scholar 

  30. Liu, X, Ye, J: Fuzzy Boolean algebra and its properties, 53–61. Preprint

  31. Liu XH, Yu Y: The nature of finite fuzzy Boolean algebras. Fuzzy Math. 1986, 6(4):21–24.

    MathSciNet  Google Scholar 

  32. Mittas J, Konstantinidou M: Introduction a’ l’hyperalgebre de Boole. Math. Balk. 1976, 51: 314–320.

    MathSciNet  Google Scholar 

  33. Konstantinidou MK, Synefaki AI: A strong Boolean hyperalgebra of Boolean functions. Ital. J. Pure Appl. Math. 1997, 2: 9–18.

    MathSciNet  Google Scholar 

  34. Procesi Ciampi R, Rota R: Stone’s representation theorem for Boolean hyperalgebras. Proc. Fourth Int. Congr. AHA., Xanthi 1990.

    Google Scholar 

  35. Procesi Ciampi R: Stone’s representation theorem for Boolean hyperalgebras topological version. Discrete Math. 1996, 155: 211–214. 10.1016/0012-365X(94)00384-U

    Article  MathSciNet  Google Scholar 

  36. Lu JJ, Zhu YQ, Sun GT: Boolean Algebra. Shandong Education Press, Jinan; 1982.

    Google Scholar 

  37. Atanassov K: Intuitionistic fuzzy sets. Fuzzy Sets Syst. 1986, 20: 87–96. 10.1016/S0165-0114(86)80034-3

    Article  MathSciNet  Google Scholar 

  38. Atanassov K: New operations defined over the intuitionistic fuzzy sets. Fuzzy Sets Syst. 1994, 61: 137–142. 10.1016/0165-0114(94)90229-1

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Kostaq Hila.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Hila, K., Onar, S., Ersoy, B.A. et al. On generalized intuitionistic fuzzy subhyperalgebras of Boolean hyperalgebras. J Inequal Appl 2013, 501 (2013). https://doi.org/10.1186/1029-242X-2013-501

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-501

Keywords