The notions of fuzzy ideals are introduced in coresiduated lattices. The characterizations of fuzzy ideals, fuzzy prime ideals, and fuzzy strong prime ideals in coresiduated lattices are investigated and the relations between ideals and fuzzy ideals are established. Moreover, the equivalence of fuzzy prime ideals and fuzzy strong prime ideals is proved in prelinear coresiduated lattices. Furthermore, the conditions under which a fuzzy prime ideal is derived from a fuzzy ideal are presented in prelinear coresiduated lattices.
National Natural Science Foundation of China614733361140136161572016Fundamental Research Funds for the Central UniversitiesGK2014030011. Introduction
Residuated lattices provide an algebra frame for the algebraic semantics of formal fuzzy logics such as MV-algebras, BL-algebras, and R0-algebras (or MTL-algebras) [1–6]. Filters play crucial important role in the proof of the completeness of these logics. Many results about the filter theory of various fuzzy logical algebras have sprang out [7–11]. In fact, ideal and filter are considered as the dual notions of the logical algebra systems in the view of algebra structure. Ideal is also interesting because it is closely related to congruence relation. It plays a vital role in Chang’s Subdirect Representation Theorem of MV-algebras [3]. Actually, the original definition of MV-algebra was characterized by the operator ⊕ which could be looked as the generation of conorm in lattices. Obviously, there existed an operator ⊖ such that (⊕,⊖) constituted a pair just like adjoint pair (⊗,→). Therefore, the definition of coadjoint pair was presented in [12], and the definition of coresiduated lattice, as the dual algebra structure of residuated lattice, was introduced in [12]. Coresiduated lattices provide a new frame for logic algebras. It was masterly used to obtain the unified form of intuitionistic fuzzy implications and the Triple I method solutions of intuitionistic fuzzy reasoning problems in [13]. It was also used to obtain the unified form of intuitionistic fuzzy difference operators and the Triple D method solutions of intuitionistic fuzzy reasoning problems in [14]. The properties of ideals in coresiduated lattices were investigated and the embedding theorem of coresiduated lattices was obtained in [15].
In recent years, fuzzy filters in various logic algebras have captured many scholars’ attention. Liu and Li proposed the notion of fuzzy filters to BL-algebras and obtained their relative properties [16, 17]. Jun et al. investigated fuzzy filters in MTL-algebras and lattice implication algebras [18]. Zhu and Xu extended the fuzzy filters in BL-algebras and MTL-algebras to general residuated lattices [19].
In this paper, we intend to introduce the notions of fuzzy ideals in coresiduated lattices and develop the ideal theory of coresiduated lattices. The rest of the paper is structured as follows. In Section 2 we recall the basic notions and existing results that will be used in the paper. In Section 3 we introduce the concept of fuzzy ideals in coresiduated lattices and present the characterizations of fuzzy ideals. In Section 4 we introduce the concepts of fuzzy prime ideals and fuzzy strong prime ideals in coresiduated lattices and obtain some of their characterizations. In Section 5 we advance the fuzzy prime ideal and fuzzy strong prime ideal in prelinear coresiduated lattices.
2. Preliminaries
In this section, we recall some basic concepts and results, which we will need in the subsequent sections.
Definition 1 (see [12]).
Let P be a poset. (⊕,⊖) is called a coadjoint pair on P if the following conditions are satisfied.
⊕:P×P→P is isotone.
⊖:P×P→P is isotone on first variable and antitone on second variable.
a≤b⊕c iff a⊖c≤b, a,b,c∈P.
Definition 2 (see [12]).
A structure (L;∨,∧,⊕,⊖,0,1) is called a coresiduated lattice if the following conditions are satisfied.
(L;∨,∧) is a bounded lattice, 0 is the smallest element, and 1 is the greatest element of L, respectively.
(⊕,⊖) is a coadjoint pair on L.
(L;⊕,0) is a commutative monoid.
⊕ is called a t-conorm operator on L, and ⊖ is called a fuzzy difference operator on L. One denotes CRL as the set of all coresiduated lattices.
Theorem 3 (see [12]).
Suppose (L;∨,∧,⊕,⊖,0,1)∈CRL; then
a⊖0=a,
a≤b iff a⊖b=0,
a⊕b=0 iff a=b=0,
a⊖b⊖c=a⊖c⊖b=a⊖b⊕c,
a⊕b⊖b≤a≤a⊖b⊕b,
a⊕b⊖b⊖a=a⊕b⊖a⊖b=0,
a⊖b∧c=a⊖b∨a⊖c,
a∨b⊖c=a⊖c∨b⊖c,
a∨b⊖b=a⊖b,
a⊖a∧b=a⊖b,
a⊖a⊖b≤a∧b,
a⊖b⊕b≥a∨b,
(a⊕c)⊖(c⊕b)≤a⊖b≤(a⊖c)⊕(c⊖b).
Definition 4 (see [15]).
Suppose L∈CRL,I⊆L; I is an ideal of L if one has the following:
0∈I.
If x∈I,y∈L, and y≤x, then y∈I.
If x∈I,y∈I, then x⊕y∈I.
Iis a real ideal of L if I≠L. A real ideal I of L is a prime ideal if
∀x,y∈L, if x∧y∈I, then x∈I or y∈I.
A real ideal I of L is a strong prime ideal if
∀x,y∈L,x⊖y∈I or y⊖x∈I.
Theorem 5 (see [15]).
Suppose L∈CRL,I⊆L; I is an ideal of L if and only if one has the following:
0∈I.
If x∈I,y⊖x∈I, then y∈I.
Theorem 6 (see [15]).
Suppose L∈CRL. I is a real ideal of L and A is a (strong) prime ideal of L; if A⊆I, then I is a (strong) prime ideal of L.
Proposition 7 (see [15]).
Consider L∈CRL; if I is a strong prime ideal of L, then I is a prime ideal of L.
3. Fuzzy Ideals of Coresiduated LatticesDefinition 8.
Suppose that f is a fuzzy set on L, L∈CRL. f is a fuzzy ideal of L if the following conditions are satisfied:
f(0)≤f(x), ∀x∈L,
f(y)≤f(y⊖x)∨f(x).
Throughout the rest of this paper, unless otherwise stated, L always represents a coresiduated lattice and f always represents a fuzzy set on L.
Proposition 9.
Consider L∈CRL and f is a fuzzy ideal of L; then f is isotone; that is,
x≤y⇒f(x)≤f(y).
Proof.
∀x,y∈L, if x≤y, then x⊖y=0. By (P1) and (P2), it follows that (1)fx≤fx⊖y∨fy=f0∨fy=fy.
Theorem 10.
Consider L∈CRL and f is a fuzzy ideal of L if and only if
z≤x⊕y⇒f(z)≤f(x)∨f(y).
Proof.
Sufficiency. Consider ∀x,y∈L, 0≤x⊕x; it follows by (P4) that(2)f0≤fx∨fx=fx.So (P1) holds. From Theorem 3(5), y≤(y⊖x)⊕x; it follows by (P4) that(3)fy≤fy⊖x∨fxSo (P2) holds.
Necessity. If z≤x⊕y, then z⊖y≤x. Because f is a fuzzy ideal of L, then it follows from (P3) that f(z⊖y)≤f(x). According to (P2),(4)fz≤fz⊖y∨fy.Thus f(z)≤f(x)∨f(y). So (P4) holds.
From Theorem 10, it is easy to get the following corollary.
Corollary 11.
Consider L∈CRL and f is a fuzzy set on L; then the following conditions are equivalent:
f is a fuzzy ideal of L; that is, (P1) and (P2) hold.
x≤y⇒f(x)≤f(y); that is, (P3) holds.
(z⊖y)⊖x=0⇒f(z)≤f(x)∨f(y).
z⊖(y⊕x)=0⇒f(z)≤f(x)∨f(y).
Corollary 12.
Consider L∈CRL and f is a fuzzy ideal on L if and only if
z≤x1⊕x2⊕⋯⊕xn⇒f(z)≤max{f(x1),f(x2),…,f(xn)}, n≥2.
Proof.
Sufficiency. If n=2, it is obviously valid. If n>2, let z=0 and xi=x, 1≤i≤n, ∀x∈L, from 0≤x⊕x⊕⋯⊕x; then f(0)≤f(x).
If z≤x⊕y, let x1=x, x2=y, xi=0, 2<i≤n; then fz≤fx∨fy∨f0=fx∨fy; that is, (P4) holds. Thus f is a fuzzy ideal on L.
Necessity. Consider n=2; it is obviously valid. Suppose that it is valid if n=k, k≥2; that is,(5)z≤x1⊕x2⊕⋯⊕xk⟹fx≤maxfx1,fx2,…,fxk.Then, put n=k+1; if z≤x1⊕x2⊕⋯⊕xk⊕xk+1, then(6)z⊖xk+1≤x1⊕x2⊕⋯⊕xk.So(7)fz⊖xk+1≤maxfx1,fx2,…,fxk.Since f is a fuzzy set on L, it is obtained that f(z)≤f(z⊖xk+1)∨f(xk). Therefore, (8)fz≤maxfx1,fx2,…,fxk+1.The proof is completed.
Theorem 13.
Consider L∈CRL and f is a fuzzy ideal of L if and only if
f is isotone; that is, (P3) holds;
(P6)f(x⊕y)=f(x)∨f(y).
Proof.
Sufficiency. Suppose that (P3) and (P6) hold; it should be proved that (P4) holds. If z≤x⊕y, it follows by (P3) and (P6) that(9)fz≤fx⊕y=fx∨fy.So (P4) holds.
Necessity. If f is a fuzzy ideal of L, it follows from Proposition 9 that f is isotone. Since x≤x⊕y, y≤x⊕y, then f(x)≤f(x⊕y), f(y)≤f(x⊕y). Thus f(x)∨f(y)≤f(x⊕y).
Moreover, x⊕y≤x⊕y; it follows from (P4) that f(x⊕y)≤f(x)∨f(y). Therefore, f(x⊕y)=f(x)∨f(y). The proof is completed.
Let f be a fuzzy set on the coresiduated lattice L; it is denoted that(10)fλ=x∈L∣fx≤λ,λ∈0,1.
Theorem 14.
f is a fuzzy ideal of L if and only if, ∀λ∈[0,1], fλ is either an empty set or an ideal of L.
Proof.
Sufficiency. ∀x,y∈L, suppose that f(x)=λ0, and let fλ0={z∣f(z)≤λ0}. It is obvious that fλ0 is not an empty set; then fλ0 is an ideal of L, so 0∈fλ0. Thus f(0)≤λ0=f(x); that is, (P1) holds. Put λ1=f(x)∨f(y⊖x); then f(x)≤λ1,f(y⊖x)≤λ1; that is, x,y⊖x∈fλ1. Because fλ1 is an ideal of L, then y∈fλ1; that is, f(y)≤λ1=f(x)∨f(y⊖x); thus (P2) holds. Therefore, f is a fuzzy ideal of L.
Necessity. Suppose that fλ is not an empty set; then ∃x0∈fλ s.t. f(x0)≤λ. Since f is a fuzzy ideal of L, then f(0)≤f(x0)≤λ; that is, 0∈fλ. Suppose x,y⊖x∈fλ; then f(x)≤λ,f(y⊖x)≤λ. Thus f(y)≤f(x)∨f(y⊖x)≤λ; that is, y∈fλ. It follows from Theorem 5 that fλ is an ideal of L.
Corollary 15.
Suppose that f is a fuzzy ideal of L; then ∀a∈L,(11)Ωa=x∈L∣fx≤fais an ideal of L.
Proof.
Since f(a)≤f(a), it is obtained that a∈Ωa; that is, Ωa≠∅. It follows from Theorem 14 that Ωa is an ideal of L.
Corollary 16.
Suppose that f is a fuzzy ideal of L; then (12)Ωf=x∈L∣fx=f0is an ideal of L.
Proof.
Since f is a fuzzy ideal of L, then f(0)≤f(x), x∈L. So (13)Ωf=x∈L∣fx=f0=x∈L∣fx≤f0=Ω0By Corollary 15, Ω0 is an ideal of L. Thus Ωf is an ideal of L.
Theorem 17.
f is a fuzzy set on L, a∈L. If f satisfies the conditions
f is isotone,
∀x,y∈L,f(x)≤f(a),f(y)≤f(a)⇒f(x⊕y)≤f(a),
then Ωa is an ideal of L.
Proof.
Since 0≤a and f is isotone, then f(0)≤f(a); that is, 0∈Ωa. If x∈Ωa and y≤x, then f(y)≤f(x)≤f(a); that is, y∈Ωa. According to (2), x,y∈Ωa⇒x⊕y∈Ωa. Therefore, Ωa is an ideal of L.
4. Fuzzy Prime Ideals and Fuzzy Strong Prime Ideals of Coresiduated LatticesDefinition 18.
Suppose that f is a fuzzy ideal of L and not a constant. f is a fuzzy prime ideal of L if the following conditions are satisfied:
fx∧y=fx∧fy, ∀x,y∈L.
In this section, it is always assumed that f is a fuzzy set on L and not a constant.
Theorem 19.
f is a fuzzy prime ideal of L if and only if one has the following: if ∅≠fλ⫋L, then fλ is a prime ideal of L.
Proof.
Sufficiency. Since f is not a constant, then ∃λ∈[0,1] s.t. ∅≠fλ⫋L. So fλ is a prime ideal of L. If fλ is a prime ideal of L, then it is obviously an ideal of L. From Theorem 14, f is a fuzzy ideal of L. So f is isotone. ∀x,y∈L, put f(x∧y)=λ0; then x∧y∈fλ0. Since fλ0 is a prime ideal, it follows from Definition 4 that x∈fλ0 or y∈fλ0. Let x∈fλ0; then f(x)≤λ0=f(x∧y)≤f(x)∧f(y). By f(x)∧f(y)≤f(x), f(x∧y)=f(x)∧f(y); that is, f is a fuzzy prime ideal of L.
Necessity. ∀λ∈[0,1], if x∧y∈fλ, then f(x∧y)≤λ. Because f is a fuzzy prime ideal of L, f(x∧y)=f(x)∧f(y)≤λ. Thus f(x)≤λ or f(y)≤λ; that is, x∈fλ or y∈fλ. Therefore, fλ is a prime ideal of L.
Definition 20.
Suppose that f is a fuzzy ideal of L and not a constant. f is a fuzzy strong prime ideal of L if the following conditions are satisfied:
f(x⊖y)=f(0) or f(y⊖x)=f(0), ∀x,y∈L.
Theorem 21.
f is a fuzzy strong prime ideal of L if and only if one has the following: if ∅≠fλ⫋L, then fλ is a strong prime ideal of L.
Proof.
Sufficiency. Since f is not a constant, then ∃λ∈[0,1] s.t. ∅≠fλ⫋L. So fλ is a strong prime ideal of L. If fλ is a strong prime ideal of L, then it is obviously an ideal of L. From Theorem 14, f is a fuzzy ideal of L. So f is isotone. ∀x,y∈L, put f(0)=λ0; then 0∈fλ0. Since fλ0 is a strong prime ideal, x⊖y∈fλ0 or y⊖x∈fλ0. Let x⊖y∈fλ0; then f(x⊖y)≤λ0=f(0). Because f is isotone, f(0)≤f(x⊖y). It is obtained that f is a fuzzy strong prime ideal of L.
Necessity. Since f is a fuzzy strong prime ideal of L, it is obvious that f is a fuzzy ideal of L. According to Theorem 14, ∀λ∈[0,1], if fλ is an ideal of L, then 0∈fλ; that is, f(0)≤λ. Moreover, f is a fuzzy strong prime ideal of L. If f(x⊖y)=f(0), then f(x⊖y)≤λ; that is, x⊖y∈fλ. Therefore, fλ is a strong prime ideal of L.
Theorem 22.
If f is a fuzzy strong prime ideal of L then f is a fuzzy prime ideal of L.
Proof.
f is a fuzzy strong prime ideal of L. ∀x,y∈L, letf(x⊖y)=f(0). It follows from Theorem 13, (14)fx∧y⊕x⊖y=fx∧y∨fx⊖y=fx∧y∨f0=fx∧y.By Theorem 3(5) and (7), (15)x∧y⊕x⊖y=x⊕x⊖y∧y⊕x⊖y≥x⊕x⊖y∧x≥x⊕0∧x=x.Since f is isotone, then f((x∧y)⊕(x⊖y))≥f(x)≥f(x)∧f(y). Thus f(x∧y)≥f(x)∧f(y). Obviously, f(x∧y)≤f(x)∧f(y). So f(x∧y)=f(x)∧f(y); that is, (P6) holds. Therefore f is a fuzzy prime ideal of L.
Suppose that I is a real ideal of L; put (16)χI=0x∈I,1x⋶I.
According to Theorem 14, χI is a fuzzy ideal and not a constant. By Theorems 19 and 21, we can get the following two theorems, respectively.
Theorem 23.
I is a prime ideal of L if and only if χI is a fuzzy prime ideal of L.
Theorem 24.
I is a strong prime ideal of L if and only if χI is a fuzzy strong prime ideal of L.
5. Fuzzy Ideals and Fuzzy Prime Ideals of Prelinear Coresiduated Lattices
In a residuated lattice L, the condition (17)x⟶y∨y⟶x=1,x,y∈Lis called prelinearity axiom (see [1]). Taking account of coresiduated lattice as the dual algebra structure of residuated lattice, the definition of prelinear coresiduated lattice is as follows.
Definition 25 (see [15]).
A coresiduated lattice L is called a prelinear coresiduated lattice if, ∀x,y∈L,(x⊖y)∧(y⊖x)=0.
Theorem 26 (see [15]).
Suppose that L is a prelinear coresiduated lattice; I is an ideal of L and a∈L∖I; then there exists a prime ideal J of L such that I⊆J and a⋶J.
Theorem 27.
L is a prelinear coresiduated lattice. f is a fuzzy strong prime ideal of L if and only if f is a fuzzy prime ideal of L.
Proof.
Necessity is obvious by Theorem 22.
Sufficiency. ∀x,y∈L, since L is a prelinear coresiduated lattice, then (x⊖y)∧(y⊖x)=0. Because f is a fuzzy prime ideal of L, (18)fx⊖y∧fy⊖x=fx⊖y∧x⊖y=f0.Thus f(x⊖y)=f(0) or f(y⊖x)=f(0).
Corollary 28.
Suppose that L is a prelinear coresiduated lattice and f is a fuzzy ideal of L; then the following conditions are equivalent:
f is a fuzzy prime ideal of L.
f(x∧y)=f(0)⇒f(x)=0 or f(y)=0.
f is a fuzzy strong prime ideal of L.
Proof.
It is only proved that (1)⇒(2) and (2)⇒(3).
(1)⇒(2): Since f is a fuzzy prime ideal of L, then f(x∧y)=f(x)∧f(y). Because f(x∧y)=f(0), f(x)∧f(y)=0. Thus f(x)=0 or f(y)=0.
(2)⇒(3): L is a prelinear coresiduated lattice; then (x⊖y)∧(y⊖x)=0. So f((x⊖y)∧(x⊖y))=f(0). According to (2), it follows that f(x⊖y)=f(0) or f(y⊖x)=f(0).
Remark 29.
According to Theorem 27, we do not distinguish between fuzzy strong prime ideal and fuzzy prime ideal in prelinear coresiduated lattices.
Theorem 30.
Suppose that L is a prelinear coresiduated lattice; f is a fuzzy ideal and not a constant; then the following conditions are equivalent:
L is a chain.
Any fuzzy ideal which is not a constant is a fuzzy prime ideal.
Any fuzzy ideal such that f(0)=0 and not a constant is a fuzzy prime ideal.
The fuzzy ideal χ{0} is a fuzzy prime ideal.
Proof.
(1)⇒(2): ∀x,y∈L, since L is a chain, then x≤y or y≤x. Thus x⊖y=0 or y⊖x=0. So f(x⊖y)=f(0) or f(y⊖x)=f(0). Therefore f is a fuzzy prime ideal.
It is obvious that (2)⇒(3) and (3)⇒(4).
(4)⇒(1): χ{0} is a fuzzy prime ideal; then ∀x,y∈L, χ{0}(x⊖y)=χ{0}(0)=0 or χ{0}(y⊖x)=χ{0}(0)=0. It is obtained that x⊖y∈{0} or y⊖x∈{0}; that is, x⊖y=0 or y⊖x=0. So x≤y or y≤x; that is, L is a chain.
Theorem 31.
Suppose that L is a prelinear coresiduated lattice and f is a fuzzy prime ideal. If g is a fuzzy ideal and not a constant satisfying g≤f, g(0)=f(0), then g is a fuzzy prime ideal.
Proof.
Since f is a fuzzy prime ideal, then, ∀x,y∈L, f(x⊖y)=f(0) or f(y⊖x)=0. Let f(x⊖y)=f(0). It follows from g≤f, g(0)=f(0) that (19)gx⊖y≤fx⊖y=f0=g0.Because g is a fuzzy ideal, g is isotone. Thus g(0)≤g(x⊖y). So g(x⊖y)=g(0). Therefore, g is a fuzzy strong prime ideal. The proof is completed.
Theorem 32.
Suppose that L is a prelinear coresiduated lattice; f is a fuzzy prime ideal and α∈(f(0),1]; then f∧α is a fuzzy prime ideal of L where (20)f∧αx=fx∧α.
Proof.
Since f is a fuzzy prime ideal, then f is a fuzzy ideal. ∀x,y,z∈L, if z≤x⊕y, then f(z)≤f(x)∨f(y). So (21)f∧αz=fz∧z≤fx∨fy∧α=fx∧α∨fy∧α=f∧αx∨f∧αy.Thus f∧α is a fuzzy ideal. By α∈(f(0),1], it is obtained that f∧α is not a constant and (f∧α)(0)=f(0)∧α=f(0), (f∧α)(x)=f(x)∧α≤f(x). Since f is a fuzzy prime ideal, then according to Theorem 31f∧α is a fuzzy prime ideal of L.
Theorem 33.
Suppose that L is a prelinear coresiduated lattice and f is a fuzzy ideal and not a constant satisfying f(0)>0; then there exists a fuzzy prime ideal g such that g≤f.
Proof.
Since f is a fuzzy ideal and not a constant, it follows that ∃a∈L, s.t. f(a)≠f(0); that is, a⋶Ωf. So Ωf is a real ideal of L. It follows from Theorem 26 that there exists a prime ideal I such that Ωf⊆I and a⋶I. Thus χI is a fuzzy prime ideal. Put α=inf{f(x)∣x∈L∖I}; then α≥f(0)>0. So it follows from Theorem 32 that χI∧α is a fuzzy prime ideal. Let g=χI∧α; then x∈I, g(x)=(χI(x))∧α=0∧α=0<f(0)≤f(x); x⋶I, g(x)=(χI(x))∧α=1∧α=α=inf{f(x)∣x∈L∖I}≤f(x). It follows from the above that g≤f. The proof is completed.
The proof of the above theorem indicates how to obtain a fuzzy prime ideal derived from a fuzzy ideal in a prelinear coresiduated lattice.
6. Conclusion
Coresiduated lattice, as a dual algebra structure of residuated lattice, provides a new frame for logic algebras. It is a useful tool to characterize the intuitionistic fuzzy operators and plays a vital role in the theory basses of Triple I method of intuitionistic fuzzy reasoning. It is well known that ideal is an important part of algebra structure for various fuzzy logic semantics. From the point of view of fuzzy set, it can be characterized by using the notion of fuzzy ideal. In the paper, we mainly introduce the concepts of fuzzy ideal, fuzzy prime ideal, and fuzzy strong prime ideal to coresiduated lattices and derive some of their characterizations. We explore the relationship between fuzzy ideals and ideals in the coresiduated lattice as well. Moreover, we investigate the properties of fuzzy ideal and fuzzy (strong) prime ideal in prelinear coresiduated lattices.
The research on the relation between the proposed fuzzy ideals of coresiduated lattices and fuzzy ideals/filters of residuated lattices is worth doing. The detailed discussion about it will be given in our future work.
Competing Interests
The authors declare that they have no competing interests.
Acknowledgments
The authors acknowledge their supports from the Natural Science Foundation of China (nos. 61473336, 11401361, and 61572016) and the Fundamental Research Funds for the Central Universities (no. GK201403001).
HajekP.1998Lodon, UKKluwer AcademicEstevaF.GodoL.Monoidal t-norm based logic: towards a logic for left-continuous t-norms2001124327128810.1016/s0165-0114(01)00098-7MR18608482-s2.0-0035900852CignoliR. L.D'OttavianoI. M.MundiciD.20007Dordrecht, The NetherlandsKluwer Academic Publishers10.1007/978-94-015-9480-6MR1786097ChangC. C.Algebraic analysis of many valued logics19588846749010.1090/s0002-9947-1958-0094302-9MR0094302WangG. J.2ndBeijing, ChinaScience Press2006 (Chinese)PeiD. W.On equivalent forms of fuzzy logic systems NM and IMTL2003138118719510.1016/s0165-0114(02)00382-2MR20122472-s2.0-0038486922TurunenE.Boolean deductive systems of BL-algebras200140646747310.1007/s001530100088MR18548962-s2.0-0035645338HaveshkiM.SaeidA. B.EslamiE.Some types of filters in BL algebras200610865766410.1007/s00500-005-0534-42-s2.0-33645829072GasseB. V.DeschrijverG.CornelisC.KerreE. E.Filters of residuated lattices and triangle algebras2010180163006302010.1016/j.ins.2010.04.010MR26533292-s2.0-77957652909LiuL. Z.LiK. T.Boolean filters and positive implicative filters of residuated lattices2007177245725573810.1016/j.ins.2007.07.014MR23622172-s2.0-34648854439ZhouH. J.ZhaoB.Stone-like representation theorems and three-valued filters in R0-algebras (nilpotent minimum algebras)2011162112610.1016/j.fss.2010.09.005MR27348822-s2.0-78049419035ZhengM. C.WangG. J.Co-residuated lattice with application20051916ZhengM. C.ShiZ. K.LiuY.Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets20145561369138210.1016/j.ijar.2014.01.001MR32101092-s2.0-84901779598LiuY.ZhengM.The dual triple I methods of FMT and IFMT20142014850740110.1155/2014/507401MR32329802-s2.0-84904611509ZhengM. C.WangG. J.LiuY.Ideals and embedding theorem of co-residuated lattices20063416LiuL. Z.LiK. T.Fuzzy filters of BL-algebras20051731–314115410.1016/j.ins.2004.07.0092-s2.0-18844448695LiuL. Z.LiK. T.Fuzzy Boolean and positive implicative filters of BL-algebras2005152233334810.1016/j.fss.2004.10.005MR21385142-s2.0-17444366930JunY. B.XuY.ZhangX. H.Fuzzy filters of MTL-algebras20051751-212013810.1016/j.ins.2004.11.004MR21625092-s2.0-22144478684ZhuY. Q.XuY.On filter theory of residuated lattices2010180193614363210.1016/j.ins.2010.05.034MR26703412-s2.0-77957670007