ورود
مقالات فارسیISIکنفرانسهاژورنالها

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

Publish place: Iranian Journal of Fuzzy Systems، Vol: 11، Issue: 4
Publish Year: 1393
نوع سند: مقاله ژورنالی
زبان: English
View: 136

This Paper With 21 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:
https://civilica.com/doc/1470223

شناسه ملی سند علمی:

JR_IJFS-11-4_004

تاریخ نمایه سازی: 31 خرداد 1401

Abstract:

The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame L. A definition of (strongly) completelydistributive L-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive L-orderedsets. The results in this paper establish close connections amongfuzzy-set approach of quantitative domains and fuzzy topology withmodified L-sober spaces and spatial L-frames as links. Inaddition, some mistakes in [K.R. Wagner, Liminf convergence in\Omega-categories, Theoretical Computer Science ۱۸۴ (۱۹۹۷)۶۱--۱۰۴] are pointed out.

Keywords:

Fuzzy DCPO , Fuzzy domain , Fuzzy Scott topology , (Spatial) L-frame , L-frame homomorphism , (Strongly) Completely distributive L-ordered set , Modified L-sober

Authors

W. Yao

Department of Mathematics, Hebei University of Science and Technology, Shijiazhuang ۰۵۰۰۱۸, P.R. China

B. Zhao

Department of Mathematics, Shaanxi Normal University, Xi&#۰۳۹;an ۷۱۰۰۶۲, P.R. China

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • bibitem{Abramsky۹۱}S. Abramsky, {it Domain theory in logical form}, {Ann. Pure ...
  • Logic}, {bf ۵۱(۱۲)} (۱۹۹۱), ۱۷۷ ...
  • bibitem{Domain}S. Abramsky and A. Jung, {it Domain theory}, In: S. ...
  • Gabbay and T.S.E. Maibaum (Eds.), {it Handbook for Logic inComputer ...
  • bibitem{Cat}J. Ad'{a}mek, H. Herrlich and G. E. Strecker, {it Abstract ...
  • bibitem{B۱}R. Bv{e}lohl'{a}vek, {it Fuzzy relational systems: foundations andprinciples}, New York: ...
  • bibitem{B۲}R. Bv{e}lohl'{a}vek, {it Concept lattices and order in fuzzy logic},{Ann. ...
  • bibitem{Ershov}Y. L. Ershov, {it Computable functionals of finite type}, {Algebra ...
  • bibitem{FanTCS}L. Fan, {it A new approach to quantitative domain theory},{Electron. ...
  • bibitem{FK۹۷} B. Flagg and R. Kopperman, {it Continuity spaces: Reconciling ...
  • bibitem{Flagg} B. Flagg, P. S"{u}nderhauf and K. Wagner, {it A ...
  • bibitem{Lat}G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, ...
  • bibitem{Goguen۶۷}J. A. Goguen, {it L-fuzzy sets}, {J. Math. Anal. Appl.}, ...
  • bibitem{HMS۷۴}K. H. Hofmann, M. W. Mislove and A. R. Stralka, ...
  • bibitem{Axiom} U. H"{o}hle and A. P. v{S}ostak, {it Axiomatic foundations ...
  • bibitem{Stonespace}P. T. Johnstone, {it Stone spaces}, Combridge: CambridgeUniversity Press, ۱۹۸۲ ...
  • bibitem{Keimel}K. Keimel, {it Personal communication}, November ۱۸, ۲۰۱۰ ...
  • bibitem{Kelly}G. M. Kelly, {it Basic concepts of enriched category theory}, ...
  • bibitem{KSch۰۲} H. P. K"{u}nzi and M. P. Schellekens, {it On ...
  • bibitem{Lai&Zhangconti}H. Lai and D. Zhang, {Continuity in liminf completeOmega-categories}, Preprint, ...
  • bibitem{LaiZhangCD}H. Lai and D. Zhang, Many-valued completedistributivity, arXiv:math/۰۶۰۳۵۹۲v۲, May, ۲۰۰۶ ...
  • bibitem{Lai&ZhangTCS} H. Lai and D. Zhang, {it Complete and directedcomplete ...
  • bibitem{Lai&ZhangRough}H. Lai and D. Zhang, {it Concept lattice of fuzzy ...
  • Reason.}, {bf ۵۰(۵)} (۲۰۰۹), ۶۹۵۷۰۷ ...
  • bibitem{Lawson۷۹}J. D. Lawson, {it The duality of continuous posets}, {Houston ...
  • Math.}, {bf ۵(۳)} (۱۹۷۹), ۳۵۷۳۹۴ ...
  • bibitem{Lawvere}F. W. Lawvere, {it Metric spaces, generalized logic, and closedcategories}, ...
  • bibitem{Matthews۲}S. G. Matthews, {it Partial metric topology}, {Ann. New York ...
  • bibitem{MinLiang}C. Min and J. Liang, {it A not on continuity ...
  • bibitem{O'eill}S. O'Neill, {it Partial metrics, valuations and domain theory},{Ann. New ...
  • bibitem{Pu&Rodsober} A. Pultr and S. E. Rodabaugh, {it Examples for ...
  • Rodabaugh (Eds), {it Mathematics of Fuzzy Sets: Topology, andMeasure Theory}, ...
  • bibitem{Rutten} J. J. M. M. Rutten, {it Elements of generalized ...
  • bibitem{Schellekens}M. Schellekens, {it A characterization of partial metrizability:Domains are quantifiable}, ...
  • bibitem{Scott}D. S. Scott, {it Outline of a mathematical theory of ...
  • bibitem{Smyth}M. B. Smyth, {Quasi-uniformities: reconciling domains with metricspaces}, {Lecture Notes ...
  • bibitem{Stubbe۰۷} I. Stubbe, {it Towards ¡±dynamic domains¡±: totally continuouscocomplete mathcal{Q}-categories}, ...
  • bibitem{Wagner} K. R. Wagner, {it Solving recursive domain equations with ...
  • bibitem{Wagner۹۷} K. R. Wagner, {it Liminf convergence inOmega-categories}, {Theoret. Comput. ...
  • bibitem{Wasz۰۱}P. Waszkiewicz, {it Distance and measurement in domain theory},{Electron. Notes ...
  • bibitem{Wasz۰۹}P. Waszkiewicz, {it On domain theory over Girard quantales},{Fund. Inform.}, ...
  • bibitem{QDT۱}W. Yao, {it Quantitative domains via fuzzy sets: Part I: ...
  • bibitem{YaoFrm}W. Yao, {it An approach to L-frames via fuzzy posets}, ...
  • bibitem{QDT۲}W. Yao and F. G. Shi, {it Quantitative domains via ...
  • bibitem{ZhangMVTop}D. Zhang, {it An enriched category approach to manyvalued topology}, ...
    • نمایش کامل مراجع