Title of article :
Preservation theorems in {\L}ukasiewicz \\model theory
Author/Authors :
Seyed-Mohammad Bagheri، Seyed-Mohammad Bagheri نويسنده Seyed-Mohammad Bagheri, Seyed-Mohammad Bagheri , Morteza Moniri، Morteza Moniri نويسنده Morteza Moniri, Morteza Moniri
Issue Information :
فصلنامه با شماره پیاپی 0 سال 2013
Abstract :
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.
Journal title :
Iranian Journal of Fuzzy Systems (IJFS)
Journal title :
Iranian Journal of Fuzzy Systems (IJFS)