این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
Iranian Journal of Fuzzy Systems، جلد ۱۶، شماره ۱، صفحات ۱۰۳-۱۱۰
عنوان فارسی
چکیده فارسی مقاله
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی A duality between LM-fuzzy possibility computations and their logical semantics
چکیده انگلیسی مقاله 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 ::union::s. 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. 
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله 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

نشانی اینترنتی http://ijfs.usb.ac.ir/article_4487_a7d1dcd17b0eb572f71d0b01813e0eab.pdf
فایل مقاله اشکال در دسترسی به فایل - ./files/site1/rds_journals/448/article-448-1355475.pdf
کد مقاله (doi)
زبان مقاله منتشر شده en
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات