Omitting types in fuzzy logic with evaluated syntax

DOI10.1002/MALQ.200510031MaRDI QIDQ5485399zbMATH OpenOpenAlexFDO

Authors Petra Murinová, Vilém Novák

Publication date 30 August 2006

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200510031

zbMATH Keywords

evaluated syntaxfuzzy logicgraded entailmentmodel theoryŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Quantifier elimination, model completeness, and related topics (03C10)

Cites work

• A guide to classical and modern model theory
• A treatise on many-valued logics
• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• On Fuzzy Logic I Many‐valued rules of inference

Cited in

(8)

• Fraïssé classes of graded relational structures
• Back-and-forth systems for fuzzy first-order models
• Triangular norm based predicate fuzzy logics
• Generalized Bosbach states. I
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• Elements of model theory in higher-order fuzzy logic
• Fuzzy logic with countable evaluated syntax revisited
• Forcing in Łukasiewicz predicate logic

This page was built for publication: Omitting types 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 Q5485399)