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. B\v{e}lohl\'{a}vek, {\it Fuzzy relational systems: foundations and
principles}, New York: Kluwer Academic/Plenum Publishers, 2002.

\bibitem{B2}R. B\v{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.