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.
- حق عضویت دریافتی صرف حمایت از نشریات عضو و نگهداری، تکمیل و توسعه مگیران میشود.
- پرداخت حق اشتراک و دانلود مقالات اجازه بازنشر آن در سایر رسانههای چاپی و دیجیتال را به کاربر نمیدهد.