Advances in Fuzzy Systems
Volume 2019 (2019), Article ID 8348603, 8 pages
https://doi.org/10.1155/2019/8348603

Research Article

The Measure of Fuzzy Filters on BL-Algebras

Xiang Zhu,1,2 Md Gapar Md Johar,¹ Lilysuriazna Binti Raya,¹ and Zu-hua Liao³

¹Information Science & Engineering, Management & Science University, Shah Alam 40100, Malaysia
²Division of General Courses, Wuxi Institute of Technology, Wuxi 214121, China
³School of Science, Jiangnan University, Wuxi 214122, China

Correspondence should be addressed to Md Gapar Md Johar; mdgapar@msu.edu.my

Received 23 June 2019; Revised 25 September 2019; Accepted 8 October 2019; Published 12 December 2019

Academic Editor: Rustom M. Mamlook

Copyright © 2019 Xiang Zhu et al. 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.

Abstract.

The new concept of the fuzzy filter degree was given by means of the implication operator, which enables to measure a degree to which a fuzzy subset of a BL-algebra is a fuzzy filter. In this paper, we put forward several equivalent characterizations of the fuzzy filter degree by studying its properties and the relationship with level cut sets. Furthermore, we study the fuzzy filter degrees of the intersection and fuzzy direct products of fuzzy subsets and investigate the fuzzy filter degrees of the image and the preimage of a fuzzy subset under a homomorphism.

1. Introduction

As we know, nonclassical logic algebras are one of the focuses in the basic study of artificial intelligence. Among these logic algebras, BL-algebra is one of the most fundamental algebraic structures, which was put forward by Hájek [1] in 1998. MV-algebras, Gödel algebras, and product algebras are the most known classes of BL-algebras.

Filters theory plays an important role in the theoretical study of these algebras. From logical point of view, a kind of filter corresponds to a set of provable formula. In [2], Liu proposed the notion of fuzzy filters in BL-algebras and investigated some of their properties and showed that fuzzy filters are a useful tool to obtain results on classical filters of BL-algebras.

In the application of fuzzy theory, a series of concepts of degree were introduced to depict the level of similarity among objects. When these thoughts are applied in the research of fuzzy logic algebras, the question is how to measure the degree to which a fuzzy subset is a fuzzy logic algebra. In 2010, Shi gave an idea in [3]. Shi proposed the concept of fuzzy subgroup degree in the paper to depict the degree to which a fuzzy subset is a fuzzy subgroup. Using this idea, Wang, Shi, Liao, and others have done a lot of work in recent years and got a lot of good results [4–15].

Inspired by the ideas mentioned above, we present a new concept of fuzzy filter, by which the degree to which a fuzzy subset of lattice L is a fuzzy filter is depicted and some academic results are obtained.

This paper is organized as follows: In Section 2, the basic knowledge required in the paper is proposed. In Section 3, we put forward the concept of fuzzy filter degree and its equivalent characterizations. Furthermore, the fuzzy filter degrees of the intersection and fuzzy direct products of fuzzy subsets are investigated and the fuzzy filter degrees of the image and the preimage of a fuzzy subset under a homomorphism are also discussed.

In what follows, let L denote a BL-algebra.

2. Preliminaries

In this section, we recollect some basic definitions and results which will be used in the following.

Definition 1 (see [1]). A BL-algebra is a structure such that

(i) is a bounded lattice(ii) is an abelian monoid, i.e., is commutative and associative and (iii)The following conditions hold for all :

(B1) if and only if (residuation)(B2) (divisibility)(B3) (prelinearity)

Definition 2 (see [1]). Let L be a BL-algebra. A subset F of L is called a filter of L if it satisfies

(1)(2) and imply

Definition 3 (see [1]). Let A be a fuzzy set in L. A is called a fuzzy filter if it satisfies

(1) for all (2) for all x,

Definition 4 (see [1]). A mapping f: from a BL-algebra L into a BL-algebra M is called a BL homomorphism if for any x, :

(1)(2)(3)

where and are the least elements of L and M, respectively.
If f is a surjection, then f is called an epimorphism. If is an injective, then is called a monomorphism. If is a bijective, then is called an isomorphism.
It is easy to verify that , where 1L and 1M are the largest elements of L and M, respectively.

Definition 5 (see [16]). A mapping I: [0,1] × [0,1] ⟶ [0,1] is called a fuzzy implication operator, if it satisfies

(1) implies for all x, y, (2) implies for all x, y, (3),

For any x, , let . Obviously, I is an implication, which is called the R-implication generated by “min,” and is usually denoted as x ⟶ y.
The implication operator has the following properties.

Proposition 1 (see [17]). For any a, , the following hold:

(1)(2)(3)

Definition 6 (see [18]). Let A be a fuzzy set in L, , then the set is called a level subset of A; the set is called a strong level subset of A.

Definition 7 (see [16]) (extension principle). With the mapping , two mappings can be induced by this mapping, respectively, denoted as f and as follows:

where the membership function of and is defined as

Definition 8 (see [19]). Let be a family of BL-algebras. is defined as . The operations “, , , and ⟶” are given as follows:

where 1i and 0i are the largest element and the least element of Li, respectively. (, , ) is called the BL direct product.
It is easy to verify that (, , , , ⟶, O, I) is a BL-algebra.

Definition 9 (see [20]). Let Ai be a fuzzy subset of Li (i ∈ I). The fuzzy subset of is defined as

where is called the fuzzy direct product of .

Definition 10 (see [21]). Let f be a mapping of a BL-algebra L into a BL-algebra M. Then, a fuzzy subset A of L is called f-invariant if for all , and implies .

3. Fuzzy Filters Degree

Definition 11. Let A be a fuzzy subset in L. The fuzzy filter degree of A is defined as

For convenience, we denote

So, .

Remark 1. In Definition 11, can be used to measure the degree of a fuzzy subset A to be a fuzzy filter of L.

Example 1. Let L = {0, a, b, 1} be a lattice, and the order “” on L be determined by using Figure 1. For all x, y ∈ L, the two binary operations ⟶ and are defined by Table 1 and 2. Then, (, , , , ⟶, 0, 1) is a BL-algebra.
Let A₁, A2, and A₃ be the fuzzy sets in L given by

One can easily check that A₁ is a fuzzy filter of L. Neither A₂ nor A₃ is a fuzzy filter of L. From Definition 11, we have , , and .
Since I (x, y) is a continuous t-norm on [0,1], it is not difficult to have the following.

Figure 1: The order “≤” on L.

Table 1: The binary operation “⊗”.

⊗
0
a
b
1

0
0
0
0
0

a
0
a
0
a

b
0
0
b
b

1
0
a
b
1

Table 2: The binary operation “⟶”.

⟶
0
a
b
1

0
1
1
1
1

a
b
1
b
1

b
a
a
1
1

1
0
a
b
1

Theorem 1. Let A be a fuzzy subset of L. A is a fuzzy filter of L if and only if .

The properties of are discussed below, and their equivalent characterizations are also given.

Lemma 1. Let A be a fuzzy subset of L. if and only if for all x, y ∈ L, and .

Proof. Suppose and then by Definition 11. Thus, and .
Note . There exists for any such that . Therefore, since , we have . So, .
By the arbitrariness of , as well as ; therefore, . Similarly, we can prove .
Conversely, if and for any x, y ∈ L, then and . Hence, we have

The proof is completed.

Theorem 2. Suppose A be a fuzzy subset of L and

Then, .

Proof. We first show that .
Let . By Lemma 1, we get that for any x, y ∈ L, and .
Let b = ∨K, and it is easy to get . There exists for any such that . Since , we have and for any x, y ∈ L. So, and .
By the arbitrariness of ε, we have

Moreover, and c ≥ b by Lemma 1. So, b = c.
Now we prove .
As and for any a ∈ K and x, y ∈ L, we have a ∈ K₁ and a ∈ K₂. Then, and . Thus, . Therefore, .
Let . There exists , such that for any .
Let . Then, . So, .
Thus, and .
By the arbitrariness of ε, we have

By Lemma 1, we get that , that is,
Finally, we have .
We know there is a close relationship between the fuzzy filter of a BL-algebra and its level set. Next, we give some characterizations of the fuzzy filter degree of a fuzzy set by means of its level sets.

Lemma 2. Let A be a fuzzy subset of L. If , then nonvoid A[b] is a filter of L for any b ∈ (0, c].

Proof. If for any ; then, for any x, , we have and . Since , the followings are obtained by Lemma 1:

So, and . Hence, is a filter of L.
For strong level sets, we can get the similar conclusions such as Lemma 3 by suitable modification to the proof of Lemma 2.

Lemma 3. Let A be a fuzzy subset of L. If , then nonvoid A(b) is a filter of L for any b ∈ (0, c].

Theorem 3. Let A be a fuzzy subset of L. If , then

Proof. Suppose that and . According to Lemma 2, we have c ∈ B; thus, , i.e.,
Next, we prove .
In fact, for any a ∈ B and x, y ∈ L, we have . Otherwise, there exists x₀, y₀ ∈ L, such that .
Let . Then, , , and . That is, and .
Since a ∈ B and, is a filter of L. This together with implies that , i.e., . This is contrary to
Similarly, for any a ∈ B, x ∈ L, we have . By Lemma 1, it follows that . Thus, .
From the above, we have .
With Lemma 1 and Lemma 3, proceeding similar as in the proof of Theorem 3, we have the following theorem.

Theorem 4. Let A be a fuzzy subset of L. Then, .

Next, we discuss the fuzzy filter degree under fuzzy subset operations.

Firstly, the relation of the fuzzy filter degree between the intersection of a family of fuzzy subsets and each fuzzy subset is given.

Theorem 5. Let {Ai}i∈I be a family of fuzzy subsets of L. Then,

Proof. By Proposition 1 and Definition 5, we have

Following in a similar manner, we can get

From Definition 11, it follows that

Secondly, the fuzzy filter degree of fuzzy subsets under the fuzzy direct product is discussed.

Theorem 6. Let Ai be a fuzzy subset of ; then, .

Proof. Suppose x, . Then, and , where xi, yi ∈ Li.

Following in a similar manner, we can get

So, by Definition 11,

Finally, we give the relation between the fuzzy ideal degrees of the image and the preimage of a fuzzy subset under a homomorphism.

Theorem 7. Let f: L₁⟶ L₂ be a BL homomorphism, and A and B be the fuzzy subsets of L₁ and L₂, respectively. The following assertions hold:

(1)If f is a surjective and f-invariant, then (2)(3)If f is a surjective, then .

Proof.

(1)By Theorem 2 and Definition 7, we can have that

 Since f is an epimorphism, there exists x₀, y₀ ∈ L₁ such that and . Thus, . Now that f is an f-invariant, which together with , we have

 It follows that

(2)By Definition 11 and Definition 7, we can have that

(3)If f is an epimorphism, then from the proof of (2), we have

4. Conclusions

In order to measure the degree to which a fuzzy subset is a fuzzy filter, we put forward the concept of the fuzzy filter degree of L. Through the research on the fuzzy filter degree of L, we have a deeper understanding about the fuzzy filter, further enriching the theory of fuzzy filter of BL-algebras. Using this idea, we can also measure other fuzzy algebraic structures and it also provides theoretical basis for fuzzy pattern recognition and other applications.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

Thanks are due to the support by the National Science Foundations of China (nos: 61673193, 61170121, and 11401259) and the Natural Science Foundations of Jiangsu Province (no: BK20151117).

References

P. Hájek, Meta Mathematics of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1998.

L. Liu and K. Li, “Fuzzy filters of BL-algebras,” Information Sciences, vol. 173, no. 1–3, pp. 141–154, 2005.

S. R. Shi, “Measures of fuzzy subgroups,” Proyecciones Journal of Mathematics, vol. 29, no. 1, pp. 41–48, 2010.

H. Xiaolin and X. Wang, “The measure of fuzzy subgroups on t-norms,” Fuzzy Systems and Mathematics, vol. 28, no. 4, pp. 11–18, 2014.

H. Yaoyuan and X. Wang, “The measure of fuzzy subrings,” Fuzzy Systems and Mathematics, vol. 30, no. 2, pp. 22–31, 2016.

X. Wang, X. Cao, C. Wu, and J. Chen, “Indicators of fuzzy relations,” Fuzzy Sets and Systems, vol. 216, pp. 91–107, 2013.

X. Wang, C. Zhang, and Y. Cheng, “A revisit to traces in characterizing properties of fuzzy relations,” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 22, no. 06, pp. 865–877, 2014.

X. Wang and Y. Xue, “Traces and property indicators of fuzzy relations,” Fuzzy Sets and Systems, vol. 246, pp. 78–90, 2014.

J. Li and F. G. Shi, “L-fuzzy convexity induced by L-convex fuzzy sublattice degree,” Iranian Journal of Fuzzy Systems, vol. 14, no. 5, pp. 83–102, 2017.

Y. Zhong and F. G. Shi, “Characterizations of (L, M)-fuzzy topology degrees,” Iranian Journal of Fuzzy Systems, vol. 15, no. 4, pp. 129–149, 2018.

X. Wang, C. Wu, and N. Xue, Fuzzy Preference Relation and Its Application, Science Press, Beijing, China, 2016.

F. Huang and Z. Liao, “The measure of fuzzy filters and fuzzy prime filters on lattices,” Computer Engineering and Applications, vol. 54, no. 24, pp. 26–33, 2018.

F. Huang and Z. Liao, “The measure of fuzzy fuzzy sublattices based on min t-norms,” Fuzzy Systems and Mathematics, vol. 32, no. 4, pp. 116–122, 2018.

X. Zhu and Z. Liao, “Fuzzy subalgebras of BL-algebra and its measure,” Fuzzy Systems and Mathematics, vol. 33, no. 1, pp. 32–49, 2019.

X. Zhu and Z. Liao, “The measure of fuzzy ideals of lattices,” Journal of Zhengzhou University (Natural Science Edition), vol. 51, no. 2, pp. 107–112, 2019.

B. Hu, Fuzzy Theory Basis, Wuhan University Press, Wuhan, China, 2010.

R. Bělohlávek, Fuzzy Relational Systems Foundations and Principles, Kluwer Academic/Plenum Publishers, New York, NY, USA, 2002.

L. A. Zadeh, “Fuzzy sets,” Information and Control, vol. 8, no. 3, pp. 338–353, 1965.

G. George, Lattice Theory, Foundation, Springer, Berlin, Germany, 2011.

N. Ajmal and K. V. Thomas, “Fuzzy lattices,” Information Sciences, vol. 79, no. 3-4, pp. 271–291, 1994.

J. N. Mordeson, K. R. Bhutani, and A. Rosenfeld, Fuzzy Group Theory, Springer-Verlag, Berlin, Germany, 2005.