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
Pages :
11
From page :
103
To page :
113
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)
Serial Year :
2013
Journal title :
Iranian Journal of Fuzzy Systems (IJFS)
Record number :
890187
Link To Document :
بازگشت