Join-completions of L-ordered sets

Fuzzy Sets and Systems

Volumn 199, Issue , 2012, Pages 92-107

  Wang, Kaiyun ^a   Zhao, Bin ^a  

^a SHAANXI NORMAL UNIVERSITY   (China)

Author keywords

Complete L lattice; Complete residuated lattice; Consistent fuzzy closure operator; Fuzzy order; Join completion; L ordered set

Indexed keywords

CLOSURE OPERATORS; COMPLETE L-LATTICE; FUZZY ORDER; JOIN-COMPLETION; L-ORDERED SET; RESIDUATED LATTICES;

ARTIFICIAL INTELLIGENCE; FUZZY SETS;

SET THEORY;

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

References (46)

1. J. Adámek, H. Herrlich, and G.E. Strecker Abstract and Concrete Categories 1990 Wiley New York
2. B. Banaschewski Hüllensysteme und erweiterungen von quasi-ordnungen Z. Math. Logik Grundlagen Math. 2 1956 117 130
3. B. Banaschewski, and G. Bruns Categorical characterization of the MacNeille completion Arch. Math. 43 1967 369 377
4. B. Banaschewski, and E. Nelson Completions of partially ordered sets SIAM J. Comput. 11 1982 521 528
5. R. Bělohlávek Fuzzy Galois connections Math. Logic Q. 45 1999 497 504
6. R. Bělohlávek Fuzzy closure operators J. Math. Anal. Appl. 262 2001 473 489 (Pubitemid 33082607)
7. R. Bělohlávek Fuzzy Relational Systems: Foundations and Principles 2002 Kluwer Academic Publishers, Plenum Publishers New York
8. R. Bělohlávek Some properties of residuated lattices Czech. Math. J. 53 2003 161 171 (Pubitemid 36914080)
9. R. Bělohlávek Concept lattices and order in fuzzy logic Ann. Pure Appl. Logic 128 2004 277 298 (Pubitemid 38613209)
10. R. Bělohlávek Lattice-type fuzzy order is uniquely given by its 1-cut: proof and consequence Fuzzy Sets Syst. 143 2004 447 458
11. A. Bishop A universal mapping property for a lattice completion Algebra Universalis 6 1976 81 84
12. B.A. Davey, and H.A. Priestley Introduction to Lattices and Order second ed. 2002 Cambridge University Press Cambridge
13. M. Erné, and G. Wilke Standard completions for quasiordered sets Semigroup Forum 27 1983 351 376
14. L. Fan A new approach to quantitative domain theory Electron. Notes Theor. Comput. Sci. 45 2001 77 87
15. R.C. Flagg, Ph. Sünderhauf, K.R. Wagner, A logical approach to quantitative domain theory, Preprint, 1996.
16. G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M.W. Mislove, and D.S. Scott Continuous Lattices and Domains 2003 Cambridge University Press Cambridge
17. J.A. Goguen L-fuzzy sets J. Math. Anal. Appl. 18 1967 145 174
18. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer Academic Publishers Dordrecht
19. U. Höhle On the fundamentals of fuzzy set theory J. Math. Anal. Appl. 201 1996 786 826 (Pubitemid 126163187)
20. U. Höhle, S.E. Rodabaugh (Eds.), Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, The Handbooks of Fuzzy Sets Series, vol. 3, Kluwer Academic Publishers, Boston, Dordrecht, London, 1999.
21. P.T. Johnstone Stone Spaces 1982 Cambridge University Press Cambridge
22. K. Keimel, and J.D. Lawson D-completions and the d-topology Ann. Pure Appl. Logic 159 2009 292 306
23. G.M. Kelly Basic Concepts of Enriched Category Theory London Mathematical Society Lecture Notes Series vol. 64 1982 Cambridge University Press Cambridge
24. H. Lai, and D. Zhang Fuzzy preorder and fuzzy topology Fuzzy Sets Syst. 157 2006 1865 1885 (Pubitemid 43816044)
25. H. Lai, D. Zhang, Many-valued complete distributivity, arXiv:math/0603590v2, May 2006.
26. H. Lai, and D. Zhang Complete and directed complete Ω-categories Theor. Comput. Sci. 388 2007 1 25
27. H. Lai, and D. Zhang Concept lattices in fuzzy contexts: formal concept analysis vs. rough set theory Int. J. Approx. Reason. 50 2009 695 707
28. S. MacLane Categories for the Working Mathematician second ed. 1998 Springer-Verlag New York
29. H.M. MacNeille Partially ordered sets Trans. Am. Math. Soc. 42 1937 416 460
30. J. Meseguer Order completion monads Algebra Universalis 16 1983 63 82
31. O. Ore Galois connections Trans. Am. Math. Soc. 55 1944 493 513
32. S.E. Rodabaugh Categorical frameworks for Stone representation theories S.E. Rodabaugh, S.P. Klement, Applications of Category Theory to Fuzzy Subsets 1992 Kluwer Academic Publishers Dordrecht, Boston, London 177 231 (Chapter 7)
33. J. Schmidt Each join-completion of a partially ordered set in the solution of a universal problem J. Aust. Math. Soc. 17 1974 406 413
34. I. Stubbe Categorical structures enriched in a quantaloid: categories, distributors and functors Theory Appl. Categories 14 2005 1 45
35. I. Stubbe Categorical structures enriched in a quantaloid: tensored and cotensored categories Theory Appl. Categories 16 2006 283 306 (Pubitemid 44014965)
36. K.R. Wagner, Solving Recursive Domain Equations with Enriched Categories, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, Technical Report CMU-CS-94-159, July 1994.
37. K.R. Wagner Liminf convergence in Ω-categories Theor. Comput. Sci. 184 1997 61 104
38. M. Ward, and R.P. Dilworth Residuated lattices Trans. Am. Math. Soc. 45 1939 335 354
39. W.X. Xie, Q.Y. Zhang, and L. Fan The Dedekind-MacNeille completions for fuzzy posets Fuzzy Sets Syst. 160 2009 2292 2316
40. W. Yao, and L.X. Lu Fuzzy Galois connections on fuzzy posets Math. Logic Q. 55 2009 84 91
41. W. Yao Quantitative domains via fuzzy sets: part I: continuity of fuzzy directed complete posets Fuzzy Sets Syst. 161 2010 973 987
42. L.A. Zadeh Similarity relations and fuzzy orderings Inf. Sci. 3 1971 177 200
43. D. Zhang An enriched category approach to many valued topology Fuzzy Sets Syst. 158 2007 349 366 (Pubitemid 44969432)
44. Q.Y. Zhang, and L. Fan Continuity in quantitative domains Fuzzy Sets Syst. 154 2005 118 131 (Pubitemid 40710190)
45. Q.Y. Zhang, W.X. Xie, and L. Fan Fuzzy complete lattices Fuzzy Sets Syst. 160 2009 2275 2291
46. D.S. Zhao, and T.H. Fan Dcpo-completion of posets Theor. Comput. Sci. 411 2010 2167 2173