Model-theoretic constructions in fuzzy logic with evaluated syntax

MaRDI QIDQ5476582zbMATH OpenFDO

Authors Petra Murinová

Publication date 17 July 2006

zbMATH Keywords

downward Löwenheim-Skolem-Tarski theoremMV-algebrapredicate fuzzy logic with evaluated syntax

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) MV-algebras (06D35)

Recommendations

• scientific article; zbMATH DE number 2160577
• Elements of model theory in higher-order fuzzy logic
• Fuzzy logic with countable evaluated syntax revisited
• scientific article; zbMATH DE number 3948232
• On witnessed models in fuzzy logic

Cited in

(10)

• On elementary equivalence in fuzzy predicate logics
• Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
• Dunn-Priest quotients of many-valued structures
• scientific article; zbMATH DE number 3948232 (Why is no real title available?)
• scientific article; zbMATH DE number 2160576 (Why is no real title available?)
• scientific article; zbMATH DE number 2160577 (Why is no real title available?)
• Preservation theorems in Łukasiewicz model theory
• A note on the model-theoretic semantics of fuzzy logic programming for dealing with inconsistency
• Elements of model theory in higher-order fuzzy logic
• Fuzzy logic with countable evaluated syntax revisited

This page was built for publication: Model-theoretic constructions in fuzzy logic with evaluated syntax

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