Preservation theorems in Łukasiewicz model theory

zbMATH Open1330.03060MaRDI QIDQ5744271FDOQ5744271

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

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

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)

Cited In (5)

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

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)