Elements of model theory in higher-order fuzzy logic

DOI10.1016/j.fss.2012.03.006zbMath1283.03052MaRDI QIDQ695272

Vilém Novák

Publication date: 20 December 2012

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2012.03.006

zbMATH Keywords

model theory; elementary equivalence; fuzzy type theory; EQ-algebras; submodels

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03C99: Model theory

Related Items

On General Properties of Intermediate Quantifiers, The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On good EQ-algebras
• On fuzzy type theory
• The seven virtues of simple type theory
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• EQ-algebras
• Metamathematics of fuzzy logic
• Model theory
• A guide to classical and modern model theory
• An introduction to mathematical logic and type theory: To truth through proof.
• On elementary equivalence in fuzzy predicate logics
• Formal systems of fuzzy logic and their fragments
• EQ-algebra-based fuzzy type theory and its extensions
• On Virtues of Many-Valued (Fuzzy) Type Theories
• Living in a bubble? Toward a unified bubble theory
• On theories and models in fuzzy predicate logics
• On Fuzzy Logic I Many‐valued rules of inference
• Preserving mappings in fuzzy predicate logics
• A theory of prepositional types
• Omitting types in fuzzy logic with evaluated syntax
• General models, descriptions, and choice in type theory
• Completeness in the theory of types