Semilinear logics with knotted axioms
محل انتشار: مجله سیستم های فازی، دوره: 19، شماره: 2
سال انتشار: 1401
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 163
فایل این مقاله در 14 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
این مقاله در بخشهای موضوعی زیر دسته بندی شده است:
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJFS-19-2_003
تاریخ نمایه سازی: 18 فروردین 1401
چکیده مقاله:
Standard completeness, completeness on the real unit interval [۰,۱], 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 [۰,۱]. 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.
کلیدواژه ها:
نویسندگان
E. Yang
Department of Philosophy & Institute of Critical Thinking and Writing, Jeonbuk National University, Jeonju, Korea