PRESERVATION THEOREMS IN LUKASIEWICZ MODEL THEORY
Seyed‐Mohammad Bagheri, Morteza Moniri · 2013
Abstract. We present some model theoretic results for Lukasiewicz 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 Lukasiewicz 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. 1.