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

Zhen Ming Ma

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, 9–11] and particular residuated lattices [2, 3, 6, 8, 12–15].

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 [19–21], 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 [22–24]. 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

M. Ward and R. P. Dilworth, “Residuated lattices,” Transactions of the American Mathematical Society, vol. 45, no. 3, pp. 335–354, 1939.

F. Esteva and L. Godo, “Monoidal -norm based logic: towards a logic for left-continuous t-norms,” Fuzzy Sets and Systems, vol. 124, no. 3, pp. 271–288, 2001.

P. Hájek, Metamathematics of Fuzzy Logic, Kluwer Academic, Dordrecht, The Netherlands, 1998.

C. C. Chang, “Algebraic analysis of many valued logics,” Transactions of the American Mathematical Society, vol. 88, pp. 467–490, 1958.

G. J. Wang, An Introduction to Mathematical Logic and Resolution Principle, Science in China Press, Beijing, China, 2003.

E. Turunen, Mathematics Behind Fuzzy Logic, Physica, Heidelberg, Germany, 1999.

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.

E. Turunen, “Boolean deductive systems of BL-algebras,” Archive for Mathematical Logic, vol. 40, no. 6, pp. 467–473, 2001.

M. Kondo, “Filters on commutative residuated lattices,” in Integrated Uncertainty Management and Applications, vol. 68, pp. 343–347, Springer, Berlin, Germany, 2010.

L. Liu and K. Li, “Boolean filters and positive implicative filters of residuated lattices,” Information Sciences, vol. 177, no. 24, pp. 5725–5738, 2007.

Y. Zhu and Y. Xu, “On filter theory of residuated lattices,” Information Sciences, vol. 180, no. 19, pp. 3614–3632, 2010.

M. Haveshki, A. B. Saeid, and E. Eslami, “Some types of filters in algebras,” Soft Computing, vol. 10, no. 8, pp. 657–664, 2006.

M. Kondo and W. A. Dudek, “Filter theory of BL algebras,” Soft Computing, vol. 12, no. 5, pp. 419–423, 2008.

A. B. Saeid and S. Motamed, “Normal filters in BL-algebras,” World Applied Sciences Journal, vol. 7, pp. 70–76, 2009.

E. Turunen, “BL-algebras of basic fuzzy logic,” Mathware & Soft Computing, vol. 6, no. 1, pp. 49–61, 1999.

A. Rosenfeld, “Fuzzy groups,” Journal of Mathematical Analysis and Applications, vol. 35, no. 3, pp. 512–517, 1971.

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

J. N. Mordeson and D. S. Malik, Fuzzy Commutative Algebra, World Scientific, London, UK, 1998.

T. Head, “A metatheorem for deriving fuzzy theorems from crisp versions,” Fuzzy Sets and Systems, vol. 73, no. 3, pp. 349–358, 1995.

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.

I. Jahan, “The lattice of -ideals of a ring is modular,” Fuzzy Sets and Systems, vol. 199, pp. 121–129, 2012.

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.

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

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.

K. T. Atanassov, “Intuitionistic fuzzy sets,” Fuzzy Sets and Systems, vol. 20, no. 1, pp. 87–96, 1986.

Z. Xue, Y. Xiao, W. Liu, H. Cheng, and Y. Li, “Intuitionistic fuzzy filter theory of -algebras,” International Journal of Machine Learning and Cybernetics, vol. 4, no. 6, pp. 659–669, 2013.