Quantitative domains via fuzzy sets: Part I: Continuity of fuzzy directed complete posets

Fuzzy Sets and Systems

Volumn 161, Issue 7, 2010, Pages 973-987

  Yao, Wei ^a  

^a HEBEI UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Fuzzy relations; Galois connection; Poset; Quantitative domain theory

Indexed keywords

ADJOINTS; FUZZY RELATIONS; GALOIS CONNECTION; PARTIAL ORDER; QUANTITATIVE DOMAIN THEORY; QUANTITATIVE DOMAINS; RESIDUATED LATTICES; WAY-BELOW RELATION;

FUZZY SETS;

FUZZY SET THEORY;

EID: 75849134544     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2009.06.018     Document Type: Article

References (41)

1. Abramsky S., and Jung A. Domain theory. In: Abramsky S., Gabbay D.M., and Maibaum T.S.E. (Eds). Handbook for Logic in Computer Science Vol. 3 (1994), Clarendon Press, Oxford
2. Bělohlávek R. Fuzzy Galois connections. Mathematical Logic Quarterly 45 (1999) 497-504
3. Bělohlávek R. Fuzzy closure operators. Journal of Mathematical Analysis and Applications 262 (2001) 473-489
4. Bělohlávek R. Lattices of fixed points of fuzzy Galois connections. Mathematical Logic Quarterly 47 (2001) 111-116
5. R. Bělohlávek, Lattice type fuzzy order and closure operators in fuzzy ordered sets, in: Proc. Joint Ninth IFSA World Congr. and 20th NAFIPS Internat. Conf., IEEE Press, Vancouver, Canada, 2001, pp. 2281-2286.
6. Bělohlávek R. Fuzzy Relational Systems: Foundations and Principles (2002), Kluwer Academic Publishers, Plenum Publishers, New York
7. Bělohlávek R. Concept lattices and order in fuzzy logic. Annals of Pure and Applied Logic 128 (2004) 277-298
8. Bodenhofer U. A similarity-based generalization of fuzzy orderings preserving the classical axioms. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8 (2000) 593-610
9. Chakraborty M.K., and Sarkar S. Fuzzy antisymmetry and order. Fuzzy Sets and Systems 21 (1987) 169-182
10. Fan L. A new approach to quantitative domain theory. Electronic Notes in Theoretical Computer Science 45 (2001) 77-87
11. B. Flagg, P. Sünderhauf, K. Wagner, A Logical Approach to Quantitative Domain Theory, Topology Atlas Preprint no. 23, 1996, Available online at 〈http://at.yorku.ca/e/a/p/p/23.htm〉.
12. Georgescu G., and Popescu A. Non-commutative fuzzy Galois connections. Soft Computing 7 (2003) 458-467
13. Gierz G., et al. Continuous Lattices and Domains (2003), Combridge University Press, Cambridge
14. Goguen J.A. L-fuzzy sets. Journal of Mathematical Analysis and Applications 18 (1967) 145-174
15. S. Gottwald, Many-valued logic and fuzzy set theory, in: U. Höle, S.E. Rodabaugh (Eds.), Mathematics of Fuzzy Sets: Topology, and Measure Theory, Kluwer Academic Publishers, Boston, Dordrecht, London, 1999, pp. 5-89 (Chapter 1).
16. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers, Dordrecht
17. Höhle U. Many Valued Topology and Its Applications (2001), Kluwer Academic Publishers, Boston, Dordrecht, London
18. Johnstone P.T. Stone Spaces (1982), Cambridge University Press, Cambridge
19. G.M. Kelly, Basic concepts of enriched category theory, in: London Mathematical Society Lecture Notes Series, Vol. 64, Cambridge University Press, Cambridge, 1982.
20. H. Lai, D. Zhang, Continuity in liminf complete Ω-categories, 2005, preprint.
21. H. Lai, D. Zhang, Many-valued complete distributivity, arXiv:math/0603590v2, May 2006.
22. Lai H., and Zhang D. Complete and directed complete Ω-categories. Theoretical Computer Science 388 (2007) 1-25
23. A. Pultr, S.E. Rodabaugh, Lattice-valued frames, functor categories, and classes of sober spaces, in: S.E. Rodabaugh, E.P. Klement (Eds.), Topological and Algebraic Structures in Fuzzy Sets, a Handbook of Recent Developments in the Mathematics of Fuzzy Sets Series, Kluwer Academic Publishers, Dordrecht, Boston, London, 2003, pp. 153-187 (Chapter 6).
24. Raney G.N. Completely distributive complete lattices. Proceedings of the American Mathematical Society 3 (1952) 677-680
25. S.E. Rodabaugh, Powerset operator foundations for poslat fuzzy set theories and topologies, in: U. Höle, S.E. Rodabaugh (Eds.), Mathematics of Fuzzy Sets: Topology, and Measure Theory, Kluwer Academic Publishers, Boston, Dordrecht, London, 1999, pp. 91-116 (Chapter 2).
26. S.E. Rodabaugh, Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics, International Journal of Mathematics and Mathematical Sciences, Vol. 2007(3), article ID 43645, 71pp, 2007. doi:10.1155/2007/43645. 〈http://www.hindawi.com/getarticle.aspx?doi=10.1155/2007/43645〉.
27. Rutten J.J.M.M. Elements of generalized ultrametric domain theory. Theoretical Computer Science 170 (1996) 349-381
28. D.S. Scott, Outline of a mathematical theory of computation, in: The Fourth Annual Princeton Conf. on Information Sciences and Systems, Princeton University Press, Princeton, NJ, 1970, pp. 169-176.
29. D.S. Scott, Continuous lattices, topos, algebraic geometry and logic, in: Lecture Notes in Mathematics, Springer, Berlin, Vol. 274, 1972, pp. 97-136.
30. Venugopalan P. Fuzzy ordered sets. Fuzzy Sets and Systems 46 (1992) 221-226
31. K.R. Wagner, Solving recursive domain equations with enriched categories, Ph.D. Thesis, School of Computer Science, Carnegie-Mellon University, Pittsburgh, 1994.
32. Ward M., and Dilworth R.P. Residuated lattices. Transactions of the American Mathematical Society 45 (1939) 335-354
33. Waszkiewicz P. On domain theory over Girard quantales. Fundamenta Informaticae 92 (2009) 169-192
34. Yao W., and Lu L.-X. Fuzzy Galois connections on fuzzy posets. Mathematical Logic Quarterly 55 (2009) 84-91
35. Zhang Q.-Y. Ideal completion of L-fuzzy posets. Fuzzy Systems and Mathematics 20 (2006) 1-5 (in Chinese)
36. Zhang Q.-Y., and Fan L. Continuity in quantitative domains. Fuzzy Sets and Systems 154 (2005) 118-131
37. Zhang Q.-Y., and Xie W.-X. Section-retraction-pairs between fuzzy domains. Fuzzy Sets and Systems 158 (2007) 99-114
38. Zadeh L.A. Similarity relations and fuzzy ordering. Information Sciences 3 (1971) 159-176
39. Zadeh L.A. The concept of a linguistic variable and its applications in approximate reasoning. Information Sciences 8 (1975) 199-251 301-357
40. Zadeh L.A. The concept of a linguistic variable and its applications in approximate reasoning. Information Sciences 9 (1975) 43-80
41. Zhang D., and Liu Y.M. L-fuzzy version of Stone's representation theory for distributive lattices. Fuzzy Sets and Systems 76 (1995) 259-270