Semilinear logics with knotted axioms

سال انتشار: 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