Fuzzy extended filters on residuated lattices
- 167 Downloads
The notion of fuzzy extended filters is introduced on residuated lattices, and its essential properties are investigated. By defining an operator \(\rightsquigarrow \) between two arbitrary fuzzy filters in terms of fuzzy extended filters, two results are immediately obtained. We show that (1) the class of all fuzzy filters on a residuated lattice forms a complete Heyting algebra, and its classical version is equivalent to the one introduced in Kondo (Soft Comput 18(3):427–432, 2014), which is defined with respect to (crisp) generated filters of singleton sets; (2) the connection between fuzzy extended filters and fuzzy generated filters is built, with which three other classes generating complete Heyting algebras, respectively, are presented. Finally, by the aid of fuzzy t-filters, we also develop the characterization theorems of the special algebras and quotient algebras via fuzzy extended filters.
KeywordsComplete Heyting algebra Fuzzy extended filters Fuzzy generated filters Fuzzy t-filters Residuated lattice
This work is supported by the National Natural Science Foundation of China (Nos. 11371130; 11101135) and Research Fund for the Doctoral Program of Higher Education of China (No. 20120161110017).
Compliance with ethical standards
Conflict of interest
The authors declare no conflict of interest.
This article does not contain any studies with human participants or animals performed by any of the authors.
- Höhle U (1995) Commutative, residuated \(\ell \)-monoids. In: Höhle U, Klement EP (eds) Non-classical logics and their applications to fuzzy subsets. Kluwer Academic Publishers, pp 53–106Google Scholar
- Jipsen P, Tsinakis C (2002) A survey of residuated lattices. In: Martínez J (ed) Ordered algebraic structures. Kluwer Academic Publishers, pp 19–56Google Scholar
- Radzikowska AM, Kerre EE (2004) Fuzzy rough sets based on residuated lattices. In: Peters JF, Skowron A, Dubois D, Grzymała-Busse JW, Inuiguchi M, Polkowski L (eds) Transactions on rough sets II. Springer, pp 278–296Google Scholar