In this paper, we use a commutative unital quantale as the truth value table to study some dualities between certain subcategories of fuzzy posets. We mainly show that the category of fuzzy posets, that of fuzzy dcpos, that of fuzzy domains and that of fuzzy completely lattices are self-dual, when they are equipped with suitable morphisms.
AdámekJ., HerrlichH. and StreckerG.E., Abstract and Concrete Categories, Wiley, New York, 1990.
2.
BělohlávekR., Fuzzy Relational Systems: Foundations and Principles, Kluwer Academic/Plenum Publishers, New York, 2002.
3.
BělohlávekR., Concept lattices and order in fuzzy logic, Annals of Pure and Applied Logic128 (2004), 227–298.
4.
FanL., A new approach to quantitative domain theory, Electronic Notes in Theoretical Computer Science45 (2001), 77–87.
5.
FlaggR.C., SünderhaufP. and WagnerK.R., A logical approach to quantitative domain theory, Topology Atlas Preprint23 (1996), 10–29.
6.
GierzG., et al., Continuous Lattices and Domains, Cambridge University Press, Cambridge, 2003.
7.
GoguenJ.A., L-fuzzy sets, Journal of Mathematial Analysis and Applications18 (1967), 145–174.
8.
LaiH. and ZhangD., Complete and directed complete Ω-categories, Theoretical Computer Science388 (2007), 349–366.
9.
RaoS. and LiQ., Fuzzy bases of fuzzy domains, Journal of Applied Mathematics2013 (2013), 1–10.
10.
RodabaughS.E., Powerset operator foundations for poslat fuzzy set theories and topologies, Chapter 2 in:
HöhleU.,
RodabaughS.E. (Eds.), Mathematics of Fuzzy Sets: Toology, and Measure Theory, Kluwer Academic Publishers, Boston, Dordrecht, London, 1999, pp. 91–116.
11.
RodabaughS.E., Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics, International Journal of Mathematics and Mathematical Sciences2007 (2007), 1–71.
12.
RosenthalK.I., Quantales and Their Applications, Longman Scientific and Technical, 1990.
13.
RuttenJ.J.M.M., Elements of generalized ultrametric domain theory, Theoretical Computer Science170 (1996), 349–381.
14.
ScottD.S., Outline of amathematical theory of computation, in: The 4th Annual Princeton Conference on Information Sciences and Systems, Princeton University Press, Princeton, NJ, 1970, pp. 169–176.
15.
ScottD.S., Continuous lattices, topos, algebraic geometry and logic, in: Lecture Notes in Mathematics, Springer, Berlin, Vol. 274, 1972, pp. 97–136.
YaoW., Quantitative domains via fuzzy sets: Part I: Continuity of fuzzy directed complete posets, Fuzzy Sets and Systems161 (2010), 973–987.
18.
YaoW. and LuL.X., Fuzzy Galios connections on fuzzy posets, Mathematical Logic Quarterly55 (2009), 105–112.
19.
YaoW. and ShiF.G., Quantitative domains via fuzzy sets: Part II: Fuzzy Scott topology on fuzzy directed-complete posets, Fuzzy Sets and Systems173 (2011), 60–80.
20.
ZhangD., An enriched category approach to many valued topology, Fuzzy Sets and Systems158 (2007), 1–25.
21.
ZhangQ. and FanL., Continuity in quantitative domains, Fuzzy Sets and Systems154 (2005), 118–131.
22.
ZhangQ. and XieW., Section-retraction-pairs between fuzzy domains, Fuzzy Sets and Systems158 (2007), 99–114.
