Preservation theorems in Łukasiewicz model theory

MaRDI QIDQ5744271zbMATHFDO

Authors Seyed Mohammad Bagheri, Morteza Moniri

Publication date 18 February 2016

Full work available at URL http://ijfs.usb.ac.ir/article_864_40.html

zbMATH Keywords

continuous model theorypreservation theoremsŁukasiewicz logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Ultraproducts and related constructions (03C20) Interpolation, preservation, definability (03C40)

Recommendations

• Preservation theorems in linear continuous logic
• Forcing in Łukasiewicz predicate logic
• Model-theoretic constructions in fuzzy logic with evaluated syntax
• Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
• On witnessed models in fuzzy logic II

Cited in

(5)

• Elimination of Quantifiers on Łukasiewicz Logics
• Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
• Preservation theorems in finite model theory
• Preservation of model-theoretic properties of \(\Psi\)-fractions
• Some preservation theorems for the infinitary logic \({\mathcal L}_{\omega_1\omega}'\)

This page was built for publication: Preservation theorems in Łukasiewicz model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5744271)