این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
Iranian Journal of Fuzzy Systems، جلد ۱۹، شماره ۲، صفحات ۱۷-۳۰
عنوان فارسی
چکیده فارسی مقاله
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی Semilinear logics with knotted axioms
چکیده انگلیسی مقاله Standard completeness, completeness on the real unit interval $[0,1]$, is one of important research areas in mathematical fuzzy logic. Recently, standard completeness for semilinear logics with knotted axioms has been investigated emph{proof-theoretically} by introducing and eliminating density rule. This paper introduces emph{model-theoretic} completeness for such logics. To this end, it is first shown that knotted axioms can be divided into left and right ones and then proved that mianorm-based logic systems with left and right knotted axioms are standard complete. This completeness is provided by embedding linearly ordered algebras into densely ordered ones and these algebras again into $[0,1]$. More exactly, mianorm-based systems with left and right knotted axioms and their algebraic structures are first discussed. After some examples of mianorms satisfying left and right knotted properties are introduced, standard completeness for those logics is established model-theoretically using the above construction. Finally, this investigation is extended to their corresponding involutive fixpointed systems.
کلیدواژه‌های انگلیسی مقاله Knotted axioms, mianorm, semilinear logic, Fuzzy logic, substructural logic
نویسندگان مقاله E. Yang |
Department of Philosophy & Institute of Critical Thinking and Writing, Jeonbuk National University, Jeonju, Korea

نشانی اینترنتی https://ijfs.usb.ac.ir/article_6785_670c0fa013be1231726dd15b0389e80f.pdf
فایل مقاله فایلی برای مقاله ذخیره نشده است
کد مقاله (doi)
زبان مقاله منتشر شده en
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات