On <svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" style="vertical-align:-2.9939pt" id="M1" height="15.2545pt" version="1.1" viewBox="-0.0657574 -12.2606 45.6899 15.2545" width="45.6899pt"><g transform="matrix(.017,0,0,-0.017,0,0)"><path id="g113-41" d="M300 -147C201 -63 143 98 143 270S200 602 300 686L282 710C136 610 70 450 70 271V270C70 89 136 -72 282 -170L300 -147Z"/></g><g transform="matrix(.017,0,0,-0.017,5.937,0)"><path id="g113-77" d="M541 160L512 170C485 116 462 88 439 67C411 41 376 35 318 35C272 35 238 37 224 48C207 61 205 85 212 121L290 533C305 611 308 615 391 622L397 650H139L133 622C217 615 221 612 206 533L126 118C111 41 103 34 23 26L17 0H474C489 31 528 124 541 160Z"/></g><g transform="matrix(.017,0,0,-0.017,15.766,0)"><path id="g113-45" d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"/></g><g transform="matrix(.017,0,0,-0.017,22.555,0)"><path id="g113-78" d="M962 650H795L470 145L347 650H176L170 622C268 613 275 606 244 503L190 322C150 188 132 126 118 91C102 50 80 33 18 28L12 0H245L251 28C175 35 170 48 174 93C177 128 191 180 220 284L292 542H294C331 392 383 150 409 4H432L774 555H776L714 137C700 40 694 34 612 28L606 0H868L874 28C793 34 784 37 797 137L849 533C859 612 863 616 956 622L962 650Z"/></g><g transform="matrix(.017,0,0,-0.017,39.46,0)"><path id="g113-42" d="M275 270C275 450 212 609 64 710L45 686C145 604 203 442 203 270S147 -63 45 -147L64 -170C213 -68 275 89 275 270Z"/></g></svg>-Double Fuzzy Filter Spaces

Abd El-Latif, A. A.; Aygün, H.; Çetkin, V.

doi:https://doi.org/10.1155/2018/3871282

Advances in Fuzzy Systems

On this page

Abstract Introduction Preliminaries Conclusion Conflicts of Interest References Copyright Related Articles

Research Article | Open Access

Volume 2018 | Article ID 3871282 | https://doi.org/10.1155/2018/3871282

On -Double Fuzzy Filter Spaces

A. A. Abd El-Latif,^1,2H. Aygün,³and V. Çetkin³

Academic Editor: Kemal Kilic

Received01 Nov 2017

Accepted26 Feb 2018

Published15 May 2018

Abstract

We give in this paper the definitions of -double fuzzy filter base and -double fuzzy filter structures where and are strictly two-sided commutative quantales, and we also investigate the relations between them. Moreover, we propose second-order image and preimage operators of -double fuzzy filter base and study some of its fundamental properties. Finally, we handle the given structures in the categorical aspect. For instance, we show that the category -DFIL of -double fuzzy filter spaces and filter maps between these spaces is a topological category over the category SET.

1. Introduction

Kubiak [1] and Šostak [2] introduced the notion of -fuzzy topological space as a generalization of -topological spaces introduced by Chang [3]. At the bottom of it lies the degree of openness of an -fuzzy set. A general approach to the study of topological-type structures on fuzzy powersets was developed in [4–14].

On the other hand, Atanassov [15] introduced the idea of intuitionistic (double graded) fuzzy set. Çoker and his coworker(s) [16, 17] introduced the idea of topology of intuitionistic fuzzy sets. Recently, Mondal and Samanta [18] introduced the notion of intuitionistic gradation of openness which is a generalization of both fuzzy topological spaces [2] and the topology of intuitionistic fuzzy sets [16].

Working under the name “intuitionistic” did not continue because doubts were thrown about the suitability of this term, especially when working in the case of complete lattice These doubts were quickly ended in 2005 by Gutiérrez García and Rodabaugh [19]. They argued that this term is unsuitable in mathematics and applications. They concluded that they work under the name “double.”

The notion of -filter was introduced by Höhle and Šostak [7] as an expansion of fuzzy filter [20–25]. In recent years, -filters were used to introduce many kinds of lattice-valued convergence spaces [26–28]. -filter is an important tool to study -fuzzy topology [29, 30] and -fuzzy uniform space [26]. The structure of this paper is as follows. In Section 2, we recall some fundamental definitions related to quantale lattice by giving illustrative examples and also recall some definitions necessary for the main sections. In Section 3, we define -double fuzzy filter and -double fuzzy filter base and then study relations between them. In the next two sections, we consider two types of second-order Zadeh image and preimage operators of -double fuzzy filter base and examine their characteristics by giving examples.

2. Preliminaries

Throughout this paper, let be a nonempty set. Let be a complete lattice with the least element and the greatest element . For , for all . The second lattice belonging to the context of our work is denoted by and and

A complete lattice is called completely distributive, if for any family in the following identity holds:

Definition 1 (see [24, 31–33]). A triple is called a strictly two-sided commutative quantale (stsc-quantale, for short) iff it satisfies the following properties:(L1) is a commutative semigroup.(L2), for all (L3) is distributive over arbitrary joins:

An stsc-quantale is an -distributive quantale (or stsc-biquantale [34]) if is distributive over nonempty meets:

Remark 2 (see [24, 25, 31–33, 35]). (1) A complete lattice satisfying the infinite distributive law is an stsc-quantale. In particular, the unit interval is an -distributive quantale.
(2) Every left-continuous t-norm on is an stsc-quantale.
(3) Every continuous t-norm on is an –distributive quantale.
(4) Every GL-monoid is an stsc-quantale.
(5) Let be an stsc-quantale. For each , we define Then, it satisfies Galois correspondence; that is,

Definition 3 (see [1, 7, 24, 29, 31, 33, 35–38]). Let be an stsc-quantale. A mapping is called an order-reversing involution if it satisfies the following conditions:
(1) , for each .
(2) If , then , for each .
An stsc-quantale is called a Girard monoid [37] if
Hence, in case is a Girard monoid, residuation induces an order-reversing involution In this paper, we always assume that (resp., ) is a Girard monoid with an order-reversing involution , and the operation is defined by unless otherwise specified, where denote the quantale operations on .

Remark 4 (see [39]). When the underlying lattice is the unit interval of the real numbers, the notion of a Girard monoid coincides with the notion of a left-continuous t-norm with strong induced negation .

Lemma 5 (see [34]). Let be a Girard monoid. For each , one has the following properties:
(1) If , then , , and
(2)
Let be a complete lattice and be a function. The Zadeh image and preimage operators and are defined by

Lemma 6 (see [40]). Let be an stsc-quantale and be a function. For each and , one has the following properties:(1) with equality if is injective.(2).

Definition 7 (see [40]). Basic scheme for second-order image operators: let be a function.

Case 1. ConsiderThis is the Zadeh image operator of the Zadeh image operator. We denote it by ; that is, for all and ,

Case 2. ConsiderThis is the Zadeh preimage operator of the Zadeh preimage operator. We denote it by ; that is, for all and , Basic scheme for second-order preimage operators: let be a function.

Case 1. ConsiderThis is the Zadeh image operator of the Zadeh preimage operator. We denote it by ; that is, for all and ,

Case 2. Consider This is the Zadeh preimage operator of the Zadeh image operator. We denote it by ; that is, for all and , In this paper, we consider additional operators as follows.
Define the operator as , for all and .
Define the operator as , for all and .
All algebraic operations on can be extended pointwise to the sets and as follows: for all , and ;(1) iff (2)(3) iff

Definition 8 (see [41]). The pair of maps is called an -double fuzzy topology on if it satisfies the following conditions:
(LO1) , for each ,
(LO2) , ,
(LO3) and , for each ,
(LO4) and , for each .
The triplet is called an -double fuzzy topological space (-dfts, for short). and may be interpreted as gradation of openness and gradation of nonopenness, respectively.
Let and be -double fuzzy topologies on . We say that is finer than ( is coarser than ) if and for all .
Let and be -dfts’s. A function is called LF-continuous iff and , for all .

Thus, we have the category -DFTOP where the objects are -dfts’s and the morphisms are -continuous maps between these spaces.

Example 9. Let be a set, and Then, is a left-continuous t-norm (Lukasiewicz t-norm) with strong induced negation . Let be defined as follows: Define as follows:Then, the pair is a -dft on .

Remark 10. (1) If with an order-reversing involution -dfts is the concept of Mondal and Samanta [18].
(2) If and are frames with 0 and 1, -dfts is the concept of Gutiérrez García and Rodabaugh [19].
(3) If , -dfts is the concept of Abd El-latif [42].

Definition 11 (see [29, 30]). A map is called an -filter if it fulfills the following conditions:
(LF1) and .
(LF2) , for each .
(LF3) If , then .
The pair, , is called an -filter space.

3. -Double Fuzzy Filters and -Double Fuzzy Filter Bases

Definition 12. The pair of maps is called an -double fuzzy filter (briefly, -dff) on if it fulfills the following axioms:
(DFF1) , for each .
(DFF2) , and , .
(DFF3) and , for each .
(DFF4) If , then and .
The triplet is called an -double fuzzy filter space (briefly, -dffs).
If and are two -dffs on , we say that is finer than (or is coarser than ), denoted by if and only if and , for each .

Definition 13. Let and be two -dffs’s. Then, a map is said to be
(i) a filter map if and only if and ;
(ii) a filter preserving map if and only if and .
Normally, the composition of filter maps (resp., filter preserving maps) is a filter map (resp., filter preserving map).
Hence, we get to the category -DFIL with objects of all the -dffs’s and the morphisms are filter maps between these spaces.

Remark 14. (i) Let be an -filter on and defined by . Then, the pair is an -dff on . Therefore, -dff is a generalization of -filter due to Höhle and Šostak [7, 29].
(ii) If , the definition of -dff coincides with the definition of a proper -intuitionistic fuzzy filter due to Abd El-latif [42].

Theorem 15. Each -dff produces an -dfts .

Proof. When contrasting the axioms of -dff and -dft, we find (DFF4) implying (DFT4).
Let . Then, for all ; due to (DFF4), we have that and for all . So,Then, we can get an -dft defined by

Theorem 16. Let and be -dffs’s. If is a filter map, then is an LF-continuous map.

Proof. Let . If or , then the proof is easy. Let and . Then, from the definition of double filter map and Theorem 15, we have

Corollary 17. The function defined by and is a functor.

Notation 18. Let be two maps and . Then, and are defined as follows:

Definition 19. The pair of maps is called an -double fuzzy filter base (briefly, -dffb) on if it fulfills the following axioms:
(DFFB1) , for each .
(DFFB2) , and , .
(DFFB3) and , for each .
If and are two -dffb’s on , we say is finer than (or is coarser than ) denoted by if and only if and , for each .

Remark 20. (i) An -dffb is a generalization of -filter base due to Kim and Ko [40].
(ii) If is an -dff, then is an -dffb with and .
(iii) If is an -dffb, then, by (DFFB3), implies and .

Theorem 21. If is an -dffb, then is the coarsest -dff which satisfies and .

Proof. (DFF1) For each , (DFF2) and (DFF4) are easily checked.
(DFF3) Suppose that there exist such that By the definition of and (), there exist with and such thatSince is an -dffb, Since , we have It is a contradiction. Thus, , for each . Similarly, , for each .
Let be another -dff which is finer than , that is, and . Then, we have

Theorem 22. are maps fulfilling the following conditions:
(C1) , for each ,
(C2) and and for each finite index set , if , then and .
We define the maps as where and are taken for every finite index set such that , respectively. Then, the following properties are satisfied:
(i) is an -dffb on .
(ii) If , and is an -dffb on , then and .

Proof. (i) (DFFB1) For each , the following is valid:(DFFB2) It is clear by condition (C2).
(DFFB3) For each and for any two finite index sets with and , since , by the definition of and , we get If supremum and infimum are taken over finite index set , respectively, then by (2) and (3), Thus, is an -dffb on .
(ii) For any finite family , the following are true: Then, and .

Theorem 23. Let and be two -dffb’s on and , respectively, and be a function. Then, one has the following properties:
(i) is a filter map if and only if and .
(ii) is a filter preserving map if and only if and .
(iii) If and , then is a filter map.
(iv) If and , then is a filter preserving map.

Proof. Proving condition (i) is enough since the other conditions are similarly proved.
(i) (:) Since and , for each , it is trivial.
(:) Let and , for each . We will show that is a filter map. For arbitrary , we have Thus, is a filter map.

Example 24. Let be a set, be the stsc-quantale with Lukasiewicz t-norm, and be defined by . Define the maps as follows:

It can be seen by easy computation that

(1) and are not -double fuzzy filters but they are -double fuzzy filter bases, so they generate -double fuzzy filters and .

(2) is not an -double fuzzy filter base and it does not satisfy condition (C2) of Theorem 22.

(3) Since , is a filter map and is a filter preserving map though and

We also note that if is considered as a frame, then is an -double fuzzy filter base.

4. The Types , of Preimages and Images of -Double Fuzzy Filter Bases

Theorem 25. Let be a function and be an -dffb on . Then, the following properties are satisfied.
(i) If implies and , then is an -dffb on and is the coarsest -dff on for which is a filter map.
(ii) If is surjective, then is an -dffb.
(iii) If implies and , is injective, and is an -dff on , then is an -dff on .

Proof. (i) (DFFB1) For each , we have(DFFB2) Since , then and . By assumption, and .
(DFFB3) Suppose that there exist such that By the definition of and , there exist with and such that Since is an -dffb, the following is valid: Then, By the definition of , there exists with such that On the other hand, since then
This contradicts the assumption. Thus,Similarly,
Hence, is an -dffb on .
Let be another -dff on such that is a filter map. Then, for each , the following inequalities are valid:(ii) Since is surjective, implies . So, and Then, by (i), is an -dffb on .
(iii) (DFF1)–(DFF3) are obvious.
(DFF4) Let , for . Since is injective, there exists with and . It implies If supremum and infimum are taken over , respectively, then it is clear that and .

Theorem 26. Let be a family of functions and be a family of -dffb’s on satisfying the following condition:
(C) For each finite subset of , if , then and .
We define the maps aswhere and are taken for every finite index subset of such that .
Let and be given. Then, the following properties are satisfied.
(i) is an -dffb on and is the coarsest -dff for which is a filter map for each .
(ii) A function is a filter map if and only if, for each , is a filter map.
(iii) and .

Proof. (i) (DFFB1) Let with . Then, the following inequality is valid:(DFFB2) By condition (C), and . Since, , then and .
(DFFB3) Suppose that there exist such that
By the definition of , and , there exists a finite subset of with such that
Again, by the definition of and , there exists a finite subset of with such thatPut such thatSince, for each , we have From the definition of , there exists with such thatOn the other hand, sinceand since is finite, we have This contradicts the assumption. Then, , for each . Similarly, , for each, Hence, is an -dffb on .
Since and , for each , by Theorem 23(iii), is a filter map.
Let be an -dff on such that, for each , the map is a filter map. Then,For any finite subset of with , since and , for each , we haveHence, by the definition of and , it is obvious that
(ii) Necessity of the composition condition is obvious.
Conversely, for every finite subset of with , since, for each , is a filter map, that is, and . Since , we haveBy the definition of and , we have and .
(iii) Put and ; by applying (i) to both and , the desired equality is obtained.

The following corollaries are the direct results of Theorem 26.

Corollary 27. Let be a family of -dffb’s on satisfying the following condition:
(C) For any finite subset of , if , then and .
We define the maps aswhere and are taken for every finite index subset of such that Then, is an -dffb on and is the coarsest -dff which is finer than for each .

Example 28. Let be a set and be an stsc-quantale with (Lukasiewicz t-norm). We define maps as follows :

Each for is an -double fuzzy filter base but is not.

Corollary 29. Let be projection maps, for all , where is the product set. Let be a family of -dffb’s on satisfying the following condition:
(C) For any finite subset of , if , then and .
We define the maps as where and are taken for every finite subset of such that .
Let and be given. Then, the following properties are satisfied:
(i) is an -dffb on and is the coarsest -dff on for which is a filter map.
(ii) A map is a filter map if and only if, for each , is a filter map.

In Corollary 29, the structure is called a product of -dffs’s on .

Theorem 30. Let be an injective function and be an -dffb on . Then, the following properties are satisfied:
(i) is an -dffb on , and is the coarsest -dff, for which the function is a filter preserving map.
(ii) is an -dffb on with and .

Proof. (i) (DFFB1) For each , we have (DFFB2) It is straightforward from the definition.
(DFFB3) Suppose that there exist such thatBy the definition of , we haveSince is an -dffb, the following is obtained:Thus,By the definition of , there exists with such that Since and is injective,This contradicts the assumption. Then, Similarly, it can be verified thatHence, is an -dffb on .
For each , we have Hence, by Theorem 23(ii), is a filter preserving map.
Let be another -dff such that is a filter preserving map. So, for each , the following is valid:Hence, . Similarly, it can be proved that .
(ii) If , then , and By Theorem 25(i), is an -dffb on . For each , following equalities are obtained:

Example 31. Let be sets and be the stsc-quantale with Lukasiewicz t-norm Let be a function defined by and be defined by We define maps as follows:Then, is an -double fuzzy filter base but is not an -double fuzzy filter base.

Theorem 32. Let be a family of injective functions and be a family of -dffb’s on satisfying the following condition:
(C) For any finite subset of , if , then , and .
We define the maps as where and are taken for every finite index subset of . Then, the following properties are satisfied:
(i) is an -dffb on and is the coarsest -dff for which is a filter preserving map.
(ii) A map is a filter preserving map if and only if, for each , is a filter preserving map.

Proof. (i) By Corollary 27 and Theorem 30, is an -dffb on .
Since is injective, for each , Hence, is a filter preserving map, for each .
According to Theorem 26(i), other cases are similarly proved.
(ii) It is proved in the same way as Theorem 26(ii).

Definition 33 (see [43]). (a) Let be a concrete category over . is said to be amnestic provided that its fibres are partially ordered classes; that is, no two different -objects are equivalent.
(b) Let and be categories. A functor is called topological provided that every -structured source has a unique -initial lift .

Proposition 34 (see [43]). If is a functor such that every -structured source has a -initial lift, then the following conditions are equivalent:(1) is topological.(2) is uniquely transportable.(3) is amnestic.

Theorem 35. The forgetful functor - defined by and is topological.

Proof. The proof follows from Definition 33, Proposition 34, and Theorem 26.

5. The Types , of Images and Preimages of -Double Fuzzy Filter Bases

Theorem 36. Let be a surjective function and be an -dffb on . Then, the following properties are satisfied:
(i) is an -dffb on .
(ii) is the coarsest -dff on for which is a filter preserving map.
(iii) If is an -dff, then and .

Proof. (i) and (ii) are proved in the same manner as Theorem 25(i).
(iii) Let be an -dff. Since is surjective, is equivalent to . Then, for each , it is clear thatHence, . Similarly, is obtained.

Remark 37. Let be a bijective function, be an -dffb on , and be an -dffb on . Then, the following equalities are clear.(i) and .(ii) and .

Remark 38. Let be a bijective function and be an -dffb on . Then, it follows from Remark 37(ii) and Theorem 25 that is an -dffb on and is the coarsest -dff on for which is a filter map.

Theorem 39. Let be a function and be a family of -dffb’s on satisfying the following condition:
(C) For every finite subset of , if , then and . Then, the following properties are satisfied:
(i) If is bijective, then and .
(ii) If is injective, then and

Proof. (i) Let us consider the following condition:
For every finite subset of , if , then and .
For the proof, it is enough to show that .
: For any finite subset of with , since is injective, by Lemma 6(!),By (C1), we have and thus and is satisfied.
: Suppose that, for every finite subset of with , . Then, for each , there exists with such that By (C), . By Lemma 6(!),This contradicts the assumption. Thus, . Similarly, for every finite subset of , if , then .
Since is surjective, by Theorem 36, exists for each . By Corollary 27 and (C1), exists.
For each finite subset of such that with , the following inequalities are satisfied:This implies that So, the following are clear: For any finite subset of with , there exist with . Thus,This implies that From the above inequalities, we have (ii) It is proved by the same method as in (i) and Theorem 36(ii).

Theorem 40. Let be a family of functions and be a family of -dffbs’ on satisfying the following condition:
(C) For any finite subset of , if , then and .
We define the maps aswhere and are taken for every finite subset of . Let and . Then, the following properties are satisfied:
(i) If is surjective for some , then is an -dffb on and is the coarsest -dff for which the map is a filter preserving map.
(ii) A function is a filter preserving map if and only if, for each , is a filter preserving map.
(iii) If are surjective for all , then

Proof. (i) (DFFB2) Since is surjective for some and (C), , and , .
According to Theorems 26(i) and 32(i), other cases are similarly proved.
(ii) The proof is similar to Theorem 26(ii).
(iii) Let us consider the following condition:
(C1) For any finite subset of , if , then and .
For the proof, it is enough to show that .
: For any finite subset of , if , by (C1), we have : Suppose that, for any finite subset of with , we have . Then, for each , there exists with such thatBy (C), This is a contradiction. Thus, . Similarly, .
For any finite index set with , by the definition of
and , the following inequalities are obtained:Hence, For any finite index set with , since is surjective, for each , there exists with such that
Thus, Hence,

6. Conclusion

In this study, we introduced the notions of -double fuzzy filter space and -double fuzzy filter base where and are stsc-quantales as an extension of frames. We showed the existence of initial and also final -double fuzzy filter structures. We also proved that the category -DFIL is a topological category over SET. By giving illustrative examples, we considered two types of second-order Zadeh image and preimage operators of -double fuzzy filter.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

References

T. Kubiak, On fuzzy topologies [Ph.D. thesis], Adam Mickiewicz University, Poznań, Poland, 1985.
A. P. Šostak, “On a fuzzy topological structure,” Rendiconti del Circolo Matematico di Palermo, Serie II, vol. 11, pp. 89–103, 1985.
View at: Google Scholar
C. L. Chang, “Fuzzy topological spaces,” Journal of Mathematical Analysis and Applications, vol. 24, pp. 182–190, 1968.
View at: Publisher Site | Google Scholar | MathSciNet
S. E. Abbas and H. Aygün, “Intuitionistic fuzzy semiregularization spaces,” Information Sciences, vol. 176, no. 6, pp. 745–757, 2006.
View at: Publisher Site | Google Scholar | MathSciNet
V. Çetkin and H. Aygün, “On double fuzzy preuniformity,” Journal of Nonlinear Sciences and Applications, vol. 6, no. 4, pp. 263–278, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
U. Höhle, “Upper semicontinuous fuzzy sets and applications,” Journal of Mathematical Analysis and Applications, vol. 78, no. 2, pp. 659–673, 1980.
View at: Publisher Site | Google Scholar | MathSciNet
U. Höhle and A. P. Šostak, “Axiomatic foundations of fixed-basis fuzzy topology,” in Mathematics of Fuzzy Sets, vol. 3 of The Handbooks of Fuzzy Sets Series, pp. 123–272, Kluwer Academic, Boston, Mass, USA, 1999.
View at: Publisher Site | Google Scholar | MathSciNet
T. Kubiak and A. P. Šostak, “Lower set-valued fuzzy topologies,” Quaestiones Mathematicae, vol. 20, no. 3, pp. 423–429, 1997.
View at: Publisher Site | Google Scholar | MathSciNet
R. Lowen, “Fuzzy topological spaces and fuzzy compactness,” Journal of Mathematical Analysis and Applications, vol. 56, no. 3, pp. 621–633, 1976.
View at: Publisher Site | Google Scholar | MathSciNet
X. Luo and J. Fang, “Fuzzifying closure systems and closure operators,” Iranian Journal of Fuzzy Systems, vol. 8, no. 1, pp. 77–94, 167, 2011.
View at: Google Scholar | MathSciNet
S. E. Rodabaugh, “Categorical foundations of variable-basis fuzzy topology,” in Mathematics of fuzzy sets, U. Hohle and S. E. Rodabaugh, Eds., vol. 3 of The Handbooks of Fuzzy Sets Series, pp. 273–388, Kluwer Academic, Boston, Mass, USA, 1999.
View at: Publisher Site | Google Scholar | MathSciNet
F.-G. Shi, “Countable Compactness and the Lindelof Property of L-Fuzzy Sets,” Iranian Journal of Fuzzy Systems, vol. 1, no. 1, pp. 79–88, 2004.
View at: Google Scholar | MathSciNet
A. P. Shostak, “Two decades of fuzzy topology: Basic ideas, notions, and results,” Russian Mathematical Surveys, vol. 44, no. 6, pp. 125–186, 1989.
View at: Publisher Site | Google Scholar
A. P. Šostak, “Basic structures of fuzzy topology,” Journal of Mathematical Sciences, vol. 78, no. 6, pp. 662–701, 1996.
View at: Publisher Site | Google Scholar | MathSciNet
K. T. Atanassov, “Intuitionistic fuzzy sets,” Fuzzy Sets and Systems, vol. 20, no. 1, pp. 87–96, 1986.
View at: Publisher Site | Google Scholar | MathSciNet
D. Çoker, “An introduction to intuitionistic fuzzy topological spaces,” Fuzzy Sets and Systems, vol. 88, no. 1, pp. 81–89, 1997.
View at: Publisher Site | Google Scholar
D. Çoker and M. Demirci, “An introduction to intuitionistic fuzzy topological spaces in Šostak sense,” Busefal, vol. 67, pp. 67–76, 1996.
View at: Google Scholar | MathSciNet
T. K. Mondal and S. K. Samanta, “On intuitionistic gradation of openness,” Fuzzy Sets and Systems, vol. 131, no. 3, pp. 323–336, 2002.
View at: Publisher Site | Google Scholar
J. Gutiérrez García and S. E. Rodabaugh, “Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued "intuitionistic" sets, "intuitionistic" fuzzy sets and topologies,” Fuzzy Sets and Systems, vol. 156, no. 3, pp. 445–484, 2005.
View at: Publisher Site | Google Scholar
M. H. Burton, M. Muraleetharan, and J. Gutiérrez García, “Generalised filters 1,” Fuzzy Sets and Systems, vol. 106, no. 2, pp. 275–284, 1999.
View at: Publisher Site | Google Scholar
M. H. Burton, M. Muraleetharan, and J. Gutierrez Garcia, “Generalized filters 2,” Fuzzy Sets and Systems, vol. 106, no. 3, pp. 393–400, 1999.
View at: Google Scholar | MathSciNet
W. Gähler, “The general fuzzy filter approach to fuzzy topology, I,” Fuzzy Sets and Systems, vol. 76, no. 2, pp. 205–224, 1995.
View at: Publisher Site | Google Scholar
W. Gähler, “The general fuzzy filter approach to fuzzy topology, II,” Fuzzy Sets and Systems, vol. 76, no. 2, pp. 225–246, 1995.
View at: Publisher Site | Google Scholar
U. Höhle and E. P. Klement, Non-Classical Logic and Their Applications to Fuzzy Subsets, Kluwer Academic Publisher, Boston, Mass, USA, 1995.
Y. M. Liu and M. K. Luo, Fuzzy Topology, Scientific Publishing, Singapore, Singapore, 1997.
J. Fang, “Lattice-valued semiuniform convergence spaces,” Fuzzy Sets and Systems, vol. 195, pp. 33–57, 2012.
View at: Publisher Site | Google Scholar
G. Jäger, “Lattice-valued convergence spaces and regularity,” Fuzzy Sets and Systems, vol. 159, no. 19, pp. 2488–2502, 2008.
View at: Publisher Site | Google Scholar
L. Li and Q. Jin, “Lattice-valued convergence spaces: weaker regularity and p-regularity,” Abstract and Applied Analysis, vol. 2014, Article ID 328153, pp. 1–11, 2014.
View at: Publisher Site | Google Scholar
U. Höhle and A. Šostak, “A general theory of fuzzy topological spaces,” Fuzzy Sets and Systems, vol. 73, no. 1, pp. 131–149, 1995.
View at: Publisher Site | Google Scholar
J. Luna-Torres and C. O. Ochoa, “L-filters and LF-topologies,” Fuzzy Sets and Systems, vol. 140, no. 3, pp. 433–446, 2003.
View at: Publisher Site | Google Scholar
U. Höhle, Many Valued Topology and Its Application, Kluwer Academic, Boston, Mass, USA, 2001.
View at: Publisher Site | MathSciNet
C. J. Mulvey, “&,” Supplemento ai Rendiconti del Circolo Matematico di Palermo. Serie II, vol. 12, pp. 99–104, 1986.
View at: Google Scholar
S. E. Rodabaugh and E. P. Klement, Toplogical and Algebraic Structures in Fuzzy Sets, The Handbook of Recent Developments in the Mathematics of Fuzzy Sets, Kluwer Academic Publishers, Boston, Mass, USA, 2003.
View at: Publisher Site | MathSciNet
Y. C. Kim and Y. S. Kim, “-approximation spaces and -fuzzy quasi-uniform spaces,” Information Sciences, vol. 179, no. 12, pp. 2028–2048, 2009.
View at: Publisher Site | Google Scholar | MathSciNet
E. Turunen, Mathematics Behind Fuzzy Logic, Springer, New York, NY, USA, 1999.
U. Höhle, “Monoidal closed categories, weak topoi and generalized logics,” Fuzzy Sets and Systems, vol. 42, no. 1, pp. 15–35, 1991.
View at: Publisher Site | Google Scholar
U. Höhle, “M-valued sets and sheaves over integral commutative M-valued sets and sheaves over integral commutative cl-monoids,” in Applications of Category Theory of Fuzzy Subsets, S. Rodabaugh, E. P. Klement, and U. Höhle, Eds., pp. 33–72, Kluwer Academic, Dordrecht, Netherlands, 1992.
View at: Google Scholar
U. Höhle, “Commutative, residuated l-monoids,” in Non-Classical Logics and Their Applications to Fuzzy Subsets Theory, vol. 32 of Theory and Decision Library (Series B: Mathematical and Statistical Methods), pp. 53–106, Kluwer Academic, Dordrecht, Netherlands, 1995.
View at: Publisher Site | Google Scholar
S. Jenei, “Structure of Girard monoids on ,” in Topological And Algebraic Structures in Fuzzy Sets, S. E. Rodabaugh and E. P. Klement, Eds., vol. 20 of Trends in Logic (Studia Logica Library), pp. 277–308, Kluwer Academic, 2003.
View at: Publisher Site | Google Scholar | MathSciNet
Y. C. Kim and J. M. Ko, “Images and preimages of L-filterbases,” Fuzzy Sets and Systems, vol. 157, no. 14, pp. 1913–1927, 2006.
View at: Publisher Site | Google Scholar
V. Çetkin and H. Aygün, “On -double fuzzy ideals,” International Journal of Fuzzy Systems, vol. 14, no. 1, pp. 166–174, 2012.
View at: Google Scholar | MathSciNet
A. A. Abd El-latif, On fuzzy topological spaces [Ph.D. thesis], Beni-Suef University, 2009.
J. Adamek, H. Herrlich, and G. E. Strecker, Abstract and Concrete Categories, John Wiley & Sons, New York, NY, USA, 1990.
View at: MathSciNet

Copyright

Copyright © 2018 A. A. Abd El-Latif et al. 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.

PDF Download Citation

Download other formats

Order printed copies

Views

825

Downloads

1034

Citations