Omitting types in fuzzy logic with evaluated syntax

DOI10.1002/malq.200510031zbMath1100.03012OpenAlexW2122808108MaRDI QIDQ5485399

Vilém Novák, Petra Murinová

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

fuzzy logicmodel theoryŁukasiewicz logicevaluated syntaxgraded entailment

Mathematics Subject Classification ID

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

Related Items (8)

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

Cites Work

• A guide to classical and modern model theory
• On Fuzzy Logic I Many‐valued rules of inference
• Unnamed Item
• Unnamed Item

This page was built for publication: Omitting types in fuzzy logic with evaluated syntax