A duality between fuzzy domains and strongly completely distributive $L$-ordered sets

Document Type: Research Paper

Authors

1 Department of Mathematics, Hebei University of Science and Technology, Shijiazhuang 050018, P.R. China

2 Department of Mathematics, Shaanxi Normal University, Xi'an 710062, P.R. China

Abstract

The aim of this paper is to establish a fuzzy version of the duality
between domains and completely distributive lattices. All values are
taken in a fixed frame $L$. A definition of (strongly) completely
distributive $L$-ordered sets is introduced. The main result in
this paper is that the category of fuzzy domains is dually equivalent
to the category of strongly completely distributive $L$-ordered
sets. The results in this paper establish close connections among
fuzzy-set approach of quantitative domains and fuzzy topology with
modified $L$-sober spaces and spatial $L$-frames as links. In
addition, some mistakes in [K.R. Wagner, Liminf convergence in
$\Omega$-categories, Theoretical Computer Science 184 (1997)
61--104] are pointed out.

Keywords


bibitem{Abramsky91}S. Abramsky, {it Domain theory in logical form}, {Ann. Pure Appl.
Logic}, {bf 51(1--2)} (1991), 1--77.

bibitem{Domain}S. Abramsky and A. Jung, {it Domain theory}, In: S. Abramsky, D.M.
Gabbay and T.S.E. Maibaum (Eds.), {it Handbook for Logic in
Computer Science}, Oxford: Clarendon Press, {bf3} (1994).

bibitem{Cat}J. Ad'{a}mek, H. Herrlich and G. E. Strecker, {it Abstract and concrete categories}, New York: John Wiley & Sons, 1990.

bibitem{B1}R. Bv{e}lohl'{a}vek, {it Fuzzy relational systems: foundations and
principles}, New York: Kluwer Academic/Plenum Publishers, 2002.

bibitem{B2}R. Bv{e}lohl'{a}vek, {it Concept lattices and order in fuzzy logic},
{Ann. Pure Appl. Logic}, {bf 128(1--3)} (2004), 277--298.

bibitem{Ershov}Y. L. Ershov, {it Computable functionals of finite type}, {Algebra and
Logic}, {bf 11(4)} (1972), 203--242.

bibitem{FanTCS}L. Fan, {it A new approach to quantitative domain theory},
{Electron. Notes Theor. Comput. Sci.}, {bf 45} (2001), 77--87.

bibitem{FK97} B. Flagg and R. Kopperman, {it Continuity spaces: Reconciling domains and metric spaces},
{Theoret. Comput. Sci.}, {bf 177(1)} (1997), 111--138.

bibitem{Flagg} B. Flagg, P. S"{u}nderhauf and K. Wagner, {it A logical approach to
quantitative domain theory}, Preprint, 1996,
{http://at.yorku.ca/e/a/p/p/23.htm}.

bibitem{Lat}G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislowe and D. S. Scott,
{it Continuous Lattices and Domains}, Cambridge: Combridge
University Press, 2003.

bibitem{Goguen67}J. A. Goguen, {it $L$-fuzzy sets}, {J. Math. Anal. Appl.}, {bf 18(1)}
(1967),
145--174.

bibitem{Hartonas}C. Hartonas, {it Pretopology semantics for bimodal intuitionistic linear logic},
Log. J. IGPL, {bf 5(1)} (1997), 65--78.

bibitem{HMS74}K. H. Hofmann, M. W. Mislove and A. R. Stralka, {it The Pontryagin
duality of compact 0-dimensional semilattices and its applications},
Lecture Notes in Mathematics {bf 396}, Springer-Verlag, 1974.

bibitem{Axiom} U. H"{o}hle and A. P. v{S}ostak, {it Axiomatic foundations of fixed-basis
fuzzy topology}, Chapter 3 in: U. H"{o}hle and S.E. Rodabaugh,
(Eds.), {it Mathematics of Fuzzy Sets: Logic, Topology, and Measure
Theory}, Boston/Dordrecht/London: Kluwer Academic Publishers, (1999),
 123--272.

bibitem{Stonespace}P. T. Johnstone, {it Stone spaces}, Combridge: Cambridge
University Press, 1982.

bibitem{Keimel}K. Keimel, {it Personal communication}, November 18, 2010.

bibitem{Kelly}G. M. Kelly, {it Basic concepts of enriched category theory}, London
Math. Soc. Lect. Notes Ser. {bf 64}, Cambridge: Cambridge
University Press, 1982; Reprints in {Theory Appl. Categ.}, {bf 10}
(2005).

bibitem{KS05} G. M. Kelly and V. Schmitt, {it Notes on enriched categories with colimits of some class},
{Theory Appl. Categ.}, {bf 14(17)} (2005), 399--423.

bibitem{KSch02} H. P. K"{u}nzi and M. P. Schellekens, {it On the Yoneda completion of a quasi-metric space},
{Theoret. Comput. Sci.}, {bf 278(1--2)} (2002), 159--194.

bibitem{Lai&Zhangconti}H. Lai and D. Zhang, {Continuity in liminf complete
$Omega$-categories}, Preprint, 2005.

bibitem{LaiZhangCD}H. Lai and D. Zhang, Many-valued complete
distributivity, arXiv:math/0603592v2, May, 2006.

bibitem{Lai&ZhangTCS} H. Lai and D. Zhang, {it Complete and directed
complete $Omega$-categories}, {Theoret. Comput. Sci.}, {bf
388(1--3)} (2007), 1--25.

bibitem{Lai&ZhangRough}H. Lai and D. Zhang, {it Concept lattice of fuzzy context: formal
concept analysis vs. rough set theory}, {Internat. J. Approx.
Reason.}, {bf 50(5)} (2009), 695--707.

bibitem{Lawson79}J. D. Lawson, {it The duality of continuous posets}, {Houston J.
Math.}, {bf 5(3)} (1979), 357--394.

bibitem{Lawvere}F. W. Lawvere, {it Metric spaces, generalized logic, and closed
categories}, Rend. Sem. Mat. Fis. Milano, {bf 43(1)} (1973),
135--166; Reprints in {Theory Appl. Categ.}, {bf 1} (2002),
1--37.

bibitem{Matthews1}S. G. Matthews, {it Partial metric spaces}, Research Report 212, Department
of Computer Science, University of Warwick, 1992.

bibitem{Matthews2}S. G. Matthews, {it Partial metric topology}, {Ann. New York Acad. Sci.}, {bf 728(1)} (1994), 183--197.

bibitem{MinLiang}C. Min and J. Liang, {it A not on continuity of
$Omega$-categories}, J. Sichuan Univ. (Natural Science Eidtion),
{bf 46(6)} (2009), 1595--1599.

bibitem{O'eill}S. O'Neill, {it Partial metrics, valuations and domain theory},
{Ann. New York Acad. Sci.}, {bf 806(1)} (1997), 304--315.

bibitem{Pu&Rodsober} A. Pultr and S. E. Rodabaugh, {it Examples for different sobrieties in fixed-basis topology}, Chapter 17
in: S.E. Rodabaugh and E.P. Klement (Eds.), {it Topological and
Algebraic Structures in Fuzzy Sets: A Handbook of Recent
Developments in the Mathematics of Fuzzy Sets},
Dordrecht/Boston/London: Kluwer Academic Publishers, (2003),
427--440.

bibitem{Rod}S. E. Rodabaugh, {it Powerset operator foundations for poslat fuzzy
set theories and topologies}, Chapter 2 in: U. H"{o}hle and S.E.
Rodabaugh (Eds), {it Mathematics of Fuzzy Sets: Topology, and
Measure Theory}, Boston/Dordrecht/London: Kluwer Academic
Publishers, (1999),  91--116.

bibitem{Rutten} J. J. M. M. Rutten, {it Elements of generalized ultrametric domain
theory}, {Theoret. Comput. Sci.}, {bf 170(1--2)} (1996), 349--381.

bibitem{Schellekens}M. Schellekens, {it A characterization of partial metrizability:
Domains are quantifiable}, {Theoret. Comput. Sci.}, {bf 305(1--3)}
(2003), 409--432.

bibitem{Scott}D. S. Scott, {it Outline of a mathematical theory of computation},
in: The 4th Annual Princeton Conference on Information Sciences and
Systems, (1970), 169--176.

bibitem{Smyth}M. B. Smyth, {Quasi-uniformities: reconciling domains with metric
spaces}, {Lecture Notes in Comput. Sci.}, {bf 298} (1988),
236--253.

bibitem{Stone}M. H. Stone, {it The theory of representatons for Boolean algebras},
{Trans. Amer. Math. Soc.}, {bf 40(1)} (1936), 37--111.

bibitem{Stubbe07} I. Stubbe, {it Towards ¡±dynamic domains¡±: totally continuous
cocomplete $mathcal{Q}$-categories}, {Theoret. Comput. Sci.}, {bf
373(1--2)} (2007), 142--160.

bibitem{Wagner} K. R. Wagner, {it Solving recursive domain equations with enriched
categories}, Ph.D Thesis, Pittsburgh: School of Computer Science,
Carnegie-Mellon University, 1994.

bibitem{Wagner97} K. R. Wagner, {it Liminf convergence in
$Omega$-categories}, {Theoret. Comput. Sci.}, {bf 184(1--2)}
(1997), 61--104.

bibitem{Wasz01}P. Waszkiewicz, {it Distance and measurement in domain theory},
{Electron. Notes Theor. Comput. Sci.}, {bf 45} (2001), 448--462.

bibitem{Wasz09}P. Waszkiewicz, {it On domain theory over Girard quantales},
{Fund. Inform.}, {bf 92(1--2)} (2009), 169--192.

bibitem{QDT1}W. Yao, {it Quantitative domains via fuzzy sets: Part I: Continuity
of fuzzy directed-complete poset}, {Fuzzy Sets and Systems}, {bf
161(7)} (2010), 973--987.

bibitem{YaoFrm}W. Yao, {it An approach to $L$-frames via fuzzy posets}, {Fuzzy Sets and Systems}, {bf 166(1)} (2011), 75--89.

bibitem{QDT2}W. Yao and F. G. Shi, {it Quantitative domains via fuzzy sets: Part II: Fuzzy Scott topology on fuzzy directed-complete posets},
{Fuzzy Sets and Systems}, {bf 173(1)} (2011), 60--80.

bibitem{ZhangMVTop}D. Zhang, {it An enriched category approach to many
valued topology}, {Fuzzy Sets and Systems}, {bf 158(4)} (2007),
349--366.

bibitem{Zh&F05}Q. Y. Zhang and L. Fan, {it Continuity in quantitative domains}, {Fuzzy Sets and Systems}, {bf
154(1)} (2005), 118--131.