TY - JOUR
ID - 864
TI - Preservation theorems in {\L}ukasiewicz \\model theory
JO - Iranian Journal of Fuzzy Systems
JA - IJFS
LA - en
SN - 1735-0654
AU - Bagheri, Seyed-Mohammad
AU - Moniri, Morteza
AD - 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
AD - Department of Mathematics, Shahid Beheshti University, G. C.,
Evin, Tehran, Iran
Y1 - 2013
PY - 2013
VL - 10
IS - 3
SP - 103
EP - 113
KW - Continuous model theory
KW - {\L}ukasiewicz logic
KW - Preservation theorems
DO - 10.22111/ijfs.2013.864
N2 - 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.
UR - https://ijfs.usb.ac.ir/article_864.html
L1 - https://ijfs.usb.ac.ir/article_864_4dc824201c1a83e208595fdce2760b02.pdf
ER -