Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2014 (2014), Article ID 798670, 6 pages
http://dx.doi.org/10.1155/2014/798670
Research Article

The Lattice of Intuitionistic Fuzzy Filters in Residuated Lattices

School of Science, Linyi University, Linyi, Shandong 276005, China

Received 6 November 2013; Accepted 10 April 2014; Published 29 April 2014

Academic Editor: Ch. Tsitouras

Copyright © 2014 Zhen Ming Ma. 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 notion of tip-extended pair of intuitionistic fuzzy filters is introduced by which it is proved that the set of all intuitionistic fuzzy filters in a residuated lattice forms a bounded distributive lattice.

1. Introduction

Nowadays, it is generally accepted that in fuzzy logic the algebraic structure should be a residuated lattice which was introduced by Ward and Dilworth [1]. Some other logical algebras such as MTL-algebras [2], BL-algebras [3], MV-algebras [4], G-algebras, -algebras, and NM-algebras [2], which are also called -algebras [5], are all able to be considered particular classes of residuated lattices. (For details, see, e.g., [6].)

Filters are an important tool to study these logical algebras and the completeness of the corresponding nonclassical logics. On the one hand, filters are closely related to congruence relations with which one can associate quotient algebras [7]; on the other hand, various filters correspond to various sets of provable formula [3, 4]. A filter is also called a deductive system in BL-algebras [8]. It has been widely investigated in residuated lattices [7, 911] and particular residuated lattices [2, 3, 6, 8, 1215].

Since Rosenfeld [16] applied the notion of fuzzy sets [17] to abstract algebra and introduced the notion of fuzzy subgroups, the literature of various fuzzy algebraic concepts has been growing very rapidly [18]. In particular, in [1921], the notion of tip-extended pair of fuzzy sets was introduced to investigate the lattices of all fuzzy normal subgroups and -ideals.

The notion of fuzzy filters was introduced, and some properties of them were obtained [2224]. Moreover, based on the notion of intuitionistic fuzzy sets (IFS) proposed by Atanassov [25], the concept of the intuitionistic fuzzy filter in BL-algebras was introduced in [26]. However, the study of residuated lattices from the point of lattice theory is less frequent.

In this paper, the intuitionistic fuzzy filter theory in residuated lattices is developed. This paper is organized as follows: in Section 2, some basic concepts and properties of intuitionistic fuzzy sets and intuitionistic fuzzy filters in residuated lattices are recalled. In Section 3, by introducing the notion of tip-extended pair of intuitionistic fuzzy filters, it is proved that the set of all intuitionistic fuzzy filters forms a bounded distributive lattice. The last section concludes this paper.

2. Preliminaries

The concepts of residuated lattices and intuitionistic fuzzy filters will be extensively used in the sequel. Therefore, we recall their definitions and summarize their main properties.

Let . A mapping is called a fuzzy set [17]. Let and be fuzzy sets on . Then tip-extended pair of and [19, 20] can be defined by

Let be two fuzzy sets satisfying for all . Then is called an intuitionistic fuzzy set [25] (or equivalently denoted by ). The family of all intuitionistic fuzzy sets on will be denoted by .

Basic operations on intuitionistic fuzzy sets are defined in the following way.

Let . One has

Definition 1 (see [3]). A residuated lattice is an algebra such that is a bounded lattice with the least element 0 and the greatest element 1, is a commutative monoid, and forms an adjoint pair; that is, if and only if for all .

A nonempty subset of is called a filter of if (i) ; (ii) implies or, equivalently, (iii) ; and (iv) implies .

The following alternative definitions of intuitionistic fuzzy filters were proved in [26], but they can be similarly verified in residuated lattices.

Definition 2. Let . Then is called an intuitionistic fuzzy filter if (1), for all ;(2) for all ;(3) for all .

The set of all intuitionistic fuzzy filters on a residuated lattice will be denoted by .

Theorem 3. Let . Then is an intuitionistic fuzzy filter if and only if implies and for all .

Theorem 4. Let . Then is an intuitionistic fuzzy filter if and only if the following assertions hold: (1) implies and for all ;(2) and for all .

3. Lattice of Intuitionistic Fuzzy Filters

In this section, we mainly investigate the lattice of all intuitionistic fuzzy filters by introducing the notion of tip-extended pair of intuitionistic fuzzy sets.

The following lemma is obvious but necessary.

Lemma 5. Let be intuitionistic fuzzy filters of . Then so is .

For , the intersection of all intuitionistic fuzzy filters containing is called the generated intuitionistic fuzzy filter by , denoted as .

Theorem 6. Let . Define a new intuitionistic fuzzy set by where for all . Then .

Proof. We complete the proof by two steps. Firstly, we verify that is an intuitionistic fuzzy filter. For all , such that , the definition of yields that and . For all , we have Thus is an intuitionistic fuzzy filter.
Secondly, let be an intuitionistic fuzzy filter such that   . By the definition of intuitionistic fuzzy filter, it holds that and hence . Thus .

Example 7. Let with . The operations and are defined as Define as , and . Since is not a fuzzy filter. It is routine to verify that is an intuitionistic fuzzy filter, where , and from the above theorem.

Lemma 8. Let such that and . Then .

Proof. Not losing the generality, we assume that . Then . It is obvious that . Thus it holds that .

Theorem 9. Let be an intuitionistic fuzzy filter of and for all such that . Then is an intuitionistic fuzzy filter, where

Proof. It follows from Lemma 8 that . Now we prove that is an intuitionistic fuzzy filter.
If , we consider the following two cases:
Case 1 (). It is obvious that , .
Case 2 (). The definition of leads that , .
Thus , .
Let . We consider the following two cases:
Case 1 (). If , it is obvious that .
If or , it is a contradiction.
If , it holds that          .
Case 2 (). If , it is a contradiction.
If or , it is obvious that .
If ,we have                    .
All in all, it yields that                          .
Thus is an intuitionistic fuzzy filter.

For given , the operation is defined by where

Furthermore, the tip-extended pair for intuitionistic fuzzy sets and are defined by where where

Theorem 10. Let . Then .

Proof. It is obvious that is order-preserving, and is order-reserving. For all , we have and hence .
Thus .

Theorem 11. Let . Then .

Proof. It is easy to prove that , and hence . Thus .
Assume that such that . If , we have . If , it holds that It follows from Theorem 10 that .

Associating with the above results, we prove the main theorem here. For , the operations and on are defined by

Theorem 12. is a bounded distributive lattice.

Proof. We only verify the distributivity. Obviously, it holds that , so we only prove that . Assume that for , we consider the following two cases.
Case 1 (). We have
Case 2 (). It holds that Let and ; it is easy to verify that , and then the above can be written as Let and ; it is easy to verify that , and then the above can be written as
Thus and ; that is, the distributivity holds.

4. Conclusions

In this paper, by the notion of tip-extended pair of intuitionistic fuzzy sets, it is verified that the set of all intuitionistic fuzzy filters forms a bounded distributive lattice.

Future research will focus on the lattice of fuzzy notions in other algebras by tip-extended pair.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This research was supported by AMEP of Linyi University and the Natural Science Foundation of Shandong Province (Grant no. ZR2013FL006).

References

  1. M. Ward and R. P. Dilworth, “Residuated lattices,” Transactions of the American Mathematical Society, vol. 45, no. 3, pp. 335–354, 1939. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  2. F. Esteva and L. Godo, “Monoidal t-norm based logic: towards a logic for left-continuous t-norms,” Fuzzy Sets and Systems, vol. 124, no. 3, pp. 271–288, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  3. P. Hájek, Metamathematics of Fuzzy Logic, Kluwer Academic, Dordrecht, The Netherlands, 1998. View at Publisher · View at Google Scholar · View at MathSciNet
  4. C. C. Chang, “Algebraic analysis of many valued logics,” Transactions of the American Mathematical Society, vol. 88, pp. 467–490, 1958. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. G. J. Wang, An Introduction to Mathematical Logic and Resolution Principle, Science in China Press, Beijing, China, 2003.
  6. E. Turunen, Mathematics Behind Fuzzy Logic, Physica, Heidelberg, Germany, 1999. View at MathSciNet
  7. B. van Gasse, G. Deschrijver, C. Cornelis, and E. E. Kerre, “Filters of residuated lattices and triangle algebras,” Information Sciences, vol. 180, no. 16, pp. 3006–3020, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  8. E. Turunen, “Boolean deductive systems of BL-algebras,” Archive for Mathematical Logic, vol. 40, no. 6, pp. 467–473, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  9. M. Kondo, “Filters on commutative residuated lattices,” in Integrated Uncertainty Management and Applications, vol. 68, pp. 343–347, Springer, Berlin, Germany, 2010. View at Publisher · View at Google Scholar
  10. L. Liu and K. Li, “Boolean filters and positive implicative filters of residuated lattices,” Information Sciences, vol. 177, no. 24, pp. 5725–5738, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  11. Y. Zhu and Y. Xu, “On filter theory of residuated lattices,” Information Sciences, vol. 180, no. 19, pp. 3614–3632, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  12. M. Haveshki, A. B. Saeid, and E. Eslami, “Some types of filters in BL algebras,” Soft Computing, vol. 10, no. 8, pp. 657–664, 2006. View at Publisher · View at Google Scholar · View at Scopus
  13. M. Kondo and W. A. Dudek, “Filter theory of BL algebras,” Soft Computing, vol. 12, no. 5, pp. 419–423, 2008. View at Publisher · View at Google Scholar · View at Scopus
  14. A. B. Saeid and S. Motamed, “Normal filters in BL-algebras,” World Applied Sciences Journal, vol. 7, pp. 70–76, 2009. View at Google Scholar
  15. E. Turunen, “BL-algebras of basic fuzzy logic,” Mathware & Soft Computing, vol. 6, no. 1, pp. 49–61, 1999. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. A. Rosenfeld, “Fuzzy groups,” Journal of Mathematical Analysis and Applications, vol. 35, no. 3, pp. 512–517, 1971. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  17. L. A. Zadeh, “Fuzzy sets,” Information and Control, vol. 8, no. 3, pp. 338–353, 1965. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  18. J. N. Mordeson and D. S. Malik, Fuzzy Commutative Algebra, World Scientific, London, UK, 1998. View at Publisher · View at Google Scholar · View at MathSciNet
  19. T. Head, “A metatheorem for deriving fuzzy theorems from crisp versions,” Fuzzy Sets and Systems, vol. 73, no. 3, pp. 349–358, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  20. T. Head, “Erratum to “A metatheorem for deriving fuzzy theorems from crisp versions',” Fuzzy Sets and Systems, vol. 79, no. 2, pp. 277–278, 1996. View at Publisher · View at Google Scholar · View at MathSciNet
  21. I. Jahan, “The lattice of L-ideals of a ring is modular,” Fuzzy Sets and Systems, vol. 199, pp. 121–129, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  22. Y. B. Jun, Y. Xu, and X. H. Zhang, “Fuzzy filters of MTL-algebras,” Information Sciences, vol. 175, no. 1-2, pp. 120–138, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  23. L. Liu and K. Li, “Fuzzy filters of BL-algebras,” Information Sciences, vol. 173, no. 1–3, pp. 141–154, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  24. J. L. Zhang and H. J. Zhou, “Fuzzy filters on the residuated lattices,” New Mathematics and Natural Compution, vol. 2, no. 1, pp. 11–28, 2006. View at Publisher · View at Google Scholar
  25. K. T. Atanassov, “Intuitionistic fuzzy sets,” Fuzzy Sets and Systems, vol. 20, no. 1, pp. 87–96, 1986. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  26. Z. Xue, Y. Xiao, W. Liu, H. Cheng, and Y. Li, “Intuitionistic fuzzy filter theory of BL-algebras,” International Journal of Machine Learning and Cybernetics, vol. 4, no. 6, pp. 659–669, 2013. View at Publisher · View at Google Scholar