تعداد نشریات | 27 |
تعداد شمارهها | 587 |
تعداد مقالات | 6,018 |
تعداد مشاهده مقاله | 8,819,049 |
تعداد دریافت فایل اصل مقاله | 5,819,262 |
Semilinear logics with knotted axioms | ||
Iranian Journal of Fuzzy Systems | ||
مقاله 3، دوره 19، شماره 2، خرداد و تیر 2022، صفحه 17-30 اصل مقاله (244.18 K) | ||
نوع مقاله: Research Paper | ||
شناسه دیجیتال (DOI): 10.22111/ijfs.2022.6785 | ||
نویسنده | ||
E. Yang* | ||
Department of Philosophy \& Institute of Critical Thinking and Writing, Jeonbuk National University, Jeonju, Korea | ||
چکیده | ||
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 | ||
آمار تعداد مشاهده مقاله: 364 تعداد دریافت فایل اصل مقاله: 409 |