A generalization of the Chen-Wu duality into quantale-valued setting

Publish Year: 1394
نوع سند: مقاله ژورنالی
زبان: English
View: 104

This Paper With 12 Page And PDF Format Ready To Download

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

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

لینک ثابت به این Paper:

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

JR_IJFS-12-6_008

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

Abstract:

With the unit interval [۰,۱] as the truth value table, Chen and Wupresented the concept of  possibility computation over dcpos.Indeed, every possibility computation can be considered as a[۰,۱]-valued Scott open set on a dcpo. The aim of this paper is tostudy Chen-Wu's duality on quantale-valued setting. For clarity,with a commutative unital quantale L as the truth value table, weintroduce a concept of fuzzy possibility computations over fuzzydcpos and then establish an equivalence between their denotationalsemantics and their logical semantics.

Authors

Chong Shen

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

Shanshan Zhang

Department of Physics, Hebei University of Science and Technol- ogy, Shijiazhuang ۰۵۰۰۱۸, P.R. China

Wei Yao

Department of Physics, Hebei University of Science and Technology, Shi- jiazhuang ۰۵۰۰۱۸, P.R. China

Changcheng Zhang

Department of Physics, Hebei University of Science and Tech- nology, Shijiazhuang ۰۵۰۰۱۸, P.R. China

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

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • R. Belohlavek, Fuzzy relational systems: foundations and principles, Kluwer Academic/Plenum ...
  • R. Belohlavek, Concept lattices and order in fuzzy logic, Annals ...
  • Y. X. Chen and H. Y. Wu, Domain semantics of ...
  • Y. X. Chen and A. Jung, An introduction to fuzzy ...
  • P. W. Chen, H. Lai and D. Zhang, Coreective hull ...
  • L. Fan, A new approach to quantitative domain theory, Electronic ...
  • J. A. Goguen, L-fuzzy sets, Journal of Mathematial Analysis and ...
  • C. Jones, Probabilistic non-determinism, PhD thesis, Department of Computer Science, ...
  • C. Jones and G. Plotkin, A probabilistic powerdomain of evaluations, ...
  • H. Lai and D. Zhang, Complete and directed complete ...
  • categories, Theoretical ComputerScience, ۳۸۸(۱-۳) (۲۰۰۷), ۱-۲۵ ...
  • G. D. Plotkin, A powerdomain construction, SIAM Journal on Computing, ...
  • Schmidt (editors), Automata, Languages and programming, Lecture Notes in Computer ...
  • G. D. Plotkin, Probabilistic powerdomains, In Proceedings CAAP, (۱۹۸۲), ۲۷۱-۲۸۷ ...
  • K. I. Rosenthal, Quantales and their applications, Longman Scienti c and ...
  • S. E. Rodabaugh, Powerset operator foundations for poslat fuzzy set ...
  • S. E. Rodabaugh, Relationship of algebraic theories to powerset theories ...
  • D. S. Scott, Continuous lattices, In: E. Lawvere (Ed.), Toposes, ...
  • M. B. Smyth, Powerdomains, Journal of Computer and Systems Sciences, ...
  • R. Tix, K. Keimel and G. Plotkin, Semantic domains for ...
  • K. R. Wagner, Liminf convergence in ...
  • categories, Theoretical Computer Science, ۱۸۴(۱-۲)(۱۹۹۷), ۶۱-۱۰۴ ...
  • W. Yao and L. X. Lu, Fuzzy Galois connections on ...
  • W. Yao, Quantitative domains via fuzzy sets: Part I: Continuity ...
  • W. Yao and F. G. Shi, Quantitative domains via fuzzy ...
  • W. Yao, A survey of fuzzi cations of frames, the Papert-Papert-Isbell ...
  • W. Yao, A categorical isomorphism between injective fuzzy T۰-spaces and ...
  • W. Yao, A more general truth valued table for lattice-valued ...
  • Q. Y. Zhang and L. Fan, Continuity in quantitative domains, ...
  • Q. Y. Zhang and W. X. Xie, Section-retraction-pairs between fuzzy ...
  • نمایش کامل مراجع