Elsevier

Fuzzy Sets and Systems

Volume 247, 16 July 2014, Pages 92-107
Fuzzy Sets and Systems

Characterizations and new subclasses of I-filters in residuated lattices

https://doi.org/10.1016/j.fss.2013.11.009Get rights and content

Abstract

Filters play an important role in studying logical systems and the related algebraic structures. Various filters have been proposed in the literature. In this paper, we aim to develop a unifying definition for some specific filters called I-filters which provide us with a meaningful method to study these filters and corresponding logical algebras. In particular, trivial characterizations of I-filters, non-trivial characterizations of classes of I-filters, such as implicative, fantastic and Boolean filters, and characterizations of homologous logical algebras are obtained. Next, three new types of I-filters named divisible filters, strong and n-contractive filters in residuated lattices are introduced. Particularly, it is verified that n-fold implicative BL-algebras and n-contractive BL-algebras coincide. Finally, we investigate the relationships between these specific I-filters. It is shown that a filter is a fantastic filter if and only if it is both a divisible filter and a regular filter.

Introduction

Residuated lattices [31] constitute the semantics of Höhle's Monoidal Logic (ML) [16], which are the basis for the majority of formal fuzzy logics, like Esteva and Godo's Monoidal T-norm based Logic (MTL) [8], Hájek's Basic Logic (BL) [11], Łukasiewicz Logic (LL) [24], Intuitionistic Logic (IL) [15], and Gödel Logic (GL) [7]. Corresponding to these special logics, particular subalgebras of residuated lattices such as MTL-algebras, BL-algebras, MV-algebras, Heyting algebras, Gödel algebras, NM-algebras and R0-algebras were also proposed.

In studying these algebras and the completeness of the corresponding non-classical logics, filters play a vital role. A filter is also called a deductive system [30]. From logical point of view, filters correspond to sets of provable formulae. In order to investigate logical algebras by filters, the extension property of some types of filters was also widely investigated in [4], [12], [38]. At present, various filters and their characterizations under the context of different logical algebras have been studied [3], [4], [10], [12], [14], [20], [29], [30], [36], [37], [38]. Among these characterizations of special filters, some of them become invalid varying with the algebraic background. In BL-algebras [11], [12], [20], [30], prime filters, fantastic filters (called MV3-filters in [37]), implicative filters and Boolean filters were introduced. It was shown in [37] that Boolean filters coincide with implicative filters in R0-algebras. In [4], [20], fantastic filters, EIMTL-filters and IMTL-filters are proved to be equivalent in BL-algebras. When extended to MTL-algebras, they do not coincide and hence three kinds of filters arise [4]. However, in [4], associative filters were also defined, but in [14], this notion was proved to be useless. In [3], the relationships between the notions of various types of filters and radicals of filters in MTL-algebras were investigated. In [36], topological properties of prime filters in MTL-algebras were studied. Since both BL-algebras and MTL-algebras are residuated lattices, it is natural to define these filters in residuated lattices. At this time, prime filters and their alternative definitions [11], [29], [30], [36] do not coincide as well as fantastic filters and their characterizations [20], so prime filters of the second kind [10] and regular filters [38] were proposed.

It is remarkable that an abstract extension property of filters was defined in [10] which provides us with a uniform way to study quotients of logical algebras by filters. In [20], it is pointed out that several types of filters in BL-algebras could be formally defined not only by quasi-identity forms [12], [30], [38], but also by identity forms, then new characterizations with identity forms of implicative filters, fantastic filters and Boolean filters were given. At this time, the extension property is obvious. But we find that this identity form is too unspecific to reflect more common features of these filters. The aim of the present paper is to propose a residuum-based identity form which is specific and convenient to study the common features of these filters.

This paper is structured as follows: In Section 2, some basic properties, well-known subalgebras and special filters of residuated lattices are recalled. In Sections 3 and 4, I-filters are introduced, which possess a more specific form than that in [20] and can be considered as a formal definition of several famous types of filters, and then a series of trivial characterizations of I-filters, non-trivial characterizations of special classes of I-filters such as implicative filters, regular filters, fantastic filters and Boolean filters, and some characterizations of special I-algebras are obtained. In Section 5, three new types of I-filters called divisible, strong and n-contractive filters are introduced. In particular, it is shown that a BL-algebra is n-fold implicative if and only if it is n-contractive. In Section 6, the relationships between these I-filters are investigated. Particularly, it is pointed out that fantastic filters and divisible regular filters coincide.

Section snippets

Preliminaries

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

Definition 2.1

(See [11], [31].) A residuated lattice is an algebra L=(L,,,,,0,1) such that for all x,y,zL

  • (1)

    (L,,,0,1) is a bounded lattice,

  • (2)

    (L,,1) is a commutative monoid,

  • (3)

    (,) forms an adjoint pair, i.e. xyz iff xyz.

We denote x0 as ¬x and then get the following properties:

Lemma 2.2

(See [2].) Let L be a residuated lattice. Then for all x,y,z,w,x1,x2,y1,y2L

  • (1)

    yxy,

  • (2)

    xyx(xy)xyx(xy)x,

  • (3)

    yx(x

I-filters and their characterizations

In this section, we will propose a formal definition and characterizations for several classes of filters.

Definition 3.1

Let F be a filter of L. For all x,yL, if there exist terms t(x,y),t(x,y) of L such that t(x,y)t(x,y) and t(x,y)t(x,y)F, then F is called an I-filter w.r.t. t(x,y)t(x,y), and I-filter for short.

I-filter can be considered as a formal definition for some types of filters such as implicative filters, regular filters, fantastic filters, Boolean filters and prime filters of the third

Characterizations of subclasses of I-filters

In this section, we mainly focus on the non-trivial characterizations of several subclasses of I-filters.

New subclasses of I-filters

Here, we will introduce three new subclasses of I-filters in residuated lattices.

The relationships between particular I-filters

In this section, the relationships between particular I-filters in residuated lattices will be established.

As it has been proved in [38], Boolean filers are fantastic filters, and fantastic filters are regular filters.

Theorem 6.1

Let F be an implicative filter of L. Then F is a divisible filter, but the converse does not always hold.

Proof

Assume that F is an implicative filter. By Lemma 2.2(1), Theorem 4.1(2) and the isotonicity of the second variable of →, we have (xy)(xy)(xy)[x(xy)]F, that is, F is a

Conclusions

As it has been pointed out earlier, filters play a vital role in studying the logical systems. In this study, we proposed the concept of I-filters to give a formal description for several types of filters by an identity including the operation “residuum”. By this means, we introduced the concept of divisible, strong and n-contractive filters and characterized them. At last, we established the relationships between these filters except n-contractive filters, because we left it as a further

Acknowledgements

The authors thank the anonymous reviewers and the Editor-in-Chief for their valuable suggestions in improving this paper. This research was supported by AMEP of Linyi University, the Natural Science Foundation of Shandong Province (Grant No. ZR2011FL017), the National Nature Science Foundation of China (Grant No. 61179038).

References (38)

  • Y. Shi et al.

    On the characterizations of fuzzy implications satisfying I(x,y)=I(x,I(x,y))

    Inf. Sci.

    (2007)
  • A. Xie et al.

    Solutions to the functional equation I(x,y)=I(x,I(x,y)) for a continuous D-operation

    Inf. Sci.

    (2010)
  • A. Xie et al.

    Solutions to the functional equation I(x,y)=I(x,I(x,y)) for three types of fuzzy implications derived from uninorms

    Inf. Sci.

    (2012)
  • J. Zhang

    Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras

    Fuzzy Sets Syst.

    (2011)
  • H. Zhou et al.

    Stone-like representation theorems and three-valued filters in R0-algebras (nilpotent minimum algebras)

    Fuzzy Sets Syst.

    (2011)
  • Y.Q. Zhu et al.

    On filter theory of residuated lattices

    Inf. Sci.

    (2010)
  • M. Bianchi et al.

    n-Contractive BL-logics

    Arch. Math. Log.

    (2011)
  • R. Bělohlávek

    Fuzzy Relational Systems: Foundations and Principles

    (2002)
  • R. Cretan et al.

    On the lattice of congruence filters of a residuated lattice

    Ann. Univ. Craiova, Ser. Math. Comput. Sci.

    (2006)
  • Cited by (27)

    • On derivations and their fixed point sets in residuated lattices

      2016, Fuzzy Sets and Systems
      Citation Excerpt :

      From logic point of view, various filters have natural interpretation as various sets of provable formulas. Therefore, the filter theory of residuated lattices has been widely studied in [18,19,33,34]. In the following, we recall the notion of filters on residuated lattices, see [25,27].

    • A short note on t-filters, I-filters and extended filters on residuated lattices

      2015, Fuzzy Sets and Systems
      Citation Excerpt :

      In [4] we have presented several generalizations of Extension theorems, Triples of Equivalent Characteristics and Quotient Characteristics for t-filters. The rest is clear from [10, Corollary 3.6.]. □

    • A new approach for classification of filters in residuated lattices

      2015, Fuzzy Sets and Systems
      Citation Excerpt :

      Theorem 16 appears in some papers on various special cases, such as: [6, Theorem 4.17], [10, Theorems 24, 35, 43], [20, Theorems 3.6, 3.15, 4.4], [27, Theorems 3.8, 4.8], [35, Proposition 3.9, Theorem 4.5], [41, Lemma 9, Theorem 12], [42, Theorem 16, Corollary 38], [45, Corollary 3.4], etc. Corollary 17 also appears in some papers on various special cases, such as: [10, Propositions 18, 25, 37, 45], [20, Theorems 3.7, 3.17, 4.9], [28, Corollary 3.6, Theorem 3.7], [35, Theorems 3.10 and 3.12, Proposition 4.10], [41, Theorems 10 and 13], [42, Theorem 17, Corollary 19, 20, 21, 36], [49, Theorem 3.3], [50, Theorems 3.9, 3.21, 6.1], etc. In the last ten years there was a big boom of papers about special types of filters on different subvarieties of residuated lattices.

    • Fuzzy Commutative and Implicative ideals in Bounded Heyting Algebras

      2022, ICSAI 2022 - 8th International Conference on Systems and Informatics
    View all citing articles on Scopus
    View full text