این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
Iranian Journal of Fuzzy Systems، جلد ۱۰، شماره ۳، صفحات ۱۰۳-۱۱۳
عنوان فارسی Preservation theorems in {L}ukasiewicz model theory
چکیده فارسی مقاله We present some model theoretic results for {L}ukasiewicz
predicate logic by using the methods of continuous model theory
developed by Chang and Keisler.
We prove compactness theorem with respect to the class of all
structures 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 and
some natural examples of fuzzy theories are presented.
کلیدواژه‌های فارسی مقاله Continuous model theory، {L}ukasiewicz logic، Preservation theorems،
عنوان انگلیسی Preservation theorems in {L}ukasiewicz \model theory
چکیده انگلیسی مقاله We present some model theoretic results for {L}ukasiewicz
predicate logic by using the methods of continuous model theory
developed by Chang and Keisler.
We prove compactness theorem with respect to the class of all
structures 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 and
some natural examples of fuzzy theories are presented.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله سید محمد باقری | seyed mohammad
department of pure mathematics, faculty of mathemat- ical sciences, tarbiat modares university, p.o. box 14115-134, and institute for re- search in fundamental sciences ipm , p. o. box 19395-5746, tehran, iran
سازمان اصلی تایید شده: دانشگاه تربیت مدرس (Tarbiat modares university)

مرتضی منیری |
department of mathematics, shahid beheshti university, g. c., evin, tehran, iran
سازمان اصلی تایید شده: دانشگاه شهید بهشتی (Shahid beheshti university)

نشانی اینترنتی http://ijfs.usb.ac.ir/article_864_4dc824201c1a83e208595fdce2760b02.pdf
فایل مقاله اشکال در دسترسی به فایل - ./files/site1/rds_journals/448/article-448-351449.pdf
کد مقاله (doi)
زبان مقاله منتشر شده fa
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات