Preservation theorems in {\L}ukasiewicz \\model theory
عنوان مقاله: Preservation theorems in {\L}ukasiewicz \\model theory
شناسه ملی مقاله: JR_IJFS-10-3_007
منتشر شده در در سال 1392
شناسه ملی مقاله: JR_IJFS-10-3_007
منتشر شده در در سال 1392
مشخصات نویسندگان مقاله:
Seyed-Mohammad Bagheri - Department of Pure Mathematics, Faculty of Mathemat- ical Sciences, Tarbiat Modares University, P.O. Box ۱۴۱۱۵-۱۳۴, and Institute for Re- search in Fundamental Sciences (IPM), P. O. Box ۱۹۳۹۵-۵۷۴۶, Tehran, Iran
Morteza Moniri - Department of Mathematics, Shahid Beheshti University, G. C., Evin, Tehran, Iran
خلاصه مقاله:
Seyed-Mohammad Bagheri - Department of Pure Mathematics, Faculty of Mathemat- ical Sciences, Tarbiat Modares University, P.O. Box ۱۴۱۱۵-۱۳۴, and Institute for Re- search in Fundamental Sciences (IPM), P. O. Box ۱۹۳۹۵-۵۷۴۶, Tehran, Iran
Morteza Moniri - Department of Mathematics, Shahid Beheshti University, G. C., Evin, Tehran, Iran
We present some model theoretic results for {\L}ukasiewiczpredicate logic by using the methods of continuous model theorydeveloped by Chang and Keisler.We prove compactness theorem with respect to the class of allstructures taking values in the {\L}ukasiewicz \texttt{BL}-algebra.We also prove some appropriate preservation theorems concerning universal and inductive theories.Finally, Skolemization and Morleyization in this framework are discussed andsome natural examples of fuzzy theories are presented.
کلمات کلیدی: Continuous model theory, {L}ukasiewicz logic, Preservation theorems
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/1474280/