Preservation theorems in {\L}ukasiewicz \\model theory
محل انتشار: مجله سیستم های فازی، دوره: 10، شماره: 3
سال انتشار: 1392
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 116
فایل این مقاله در 11 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJFS-10-3_007
تاریخ نمایه سازی: 5 تیر 1401
چکیده مقاله:
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.
کلیدواژه ها:
نویسندگان
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
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :