CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

Preservation theorems in {\L}ukasiewicz \\model theory

عنوان مقاله: Preservation theorems in {\L}ukasiewicz \\model theory
شناسه ملی مقاله: 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

خلاصه مقاله:
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/