A duality between LM-fuzzy possibility computations and their logical semantics
Publish place: Iranian Journal of Fuzzy Systems، Vol: 16، Issue: 1
Publish Year: 1398
نوع سند: مقاله ژورنالی
زبان: English
View: 104
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJFS-16-1_009
تاریخ نمایه سازی: 17 آبان 1400
Abstract:
Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. The denotational semantics assigning to an LM-fuzzy possibility computation from a dcpo D to another one E is a Scott continuous mapping from D to πLM(E), which is a model of non-determinism computation in Domain Theory. A healthy LM-fuzzy predicate transformer from D to E is a sup-preserving mapping from σL(E) to σM(D), which is always interpreted as the logical semantics from D to E. In this paper, we establish a duality between an LM-fuzzy possibility computation and its LM-fuzzy logical semantics.
Keywords:
L-fuzzy Scott structure , LM-fuzzy possibility valuation , Non-determinism computation , Healthy LM-fuzzy predicate transformer , Denotational semantics , Logical semantics
Authors
Sang-Eon Han
Chonbuk National University
Ling-Xia Lu
School of Mathematics and Science, Hebei GEO University, Shijiazhuang City, China
Wei Yao
Hebei University of Science and Technology
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :