On elementary equivalence in fuzzy predicate logics

DOI10.1007/s00153-012-0303-xzbMath1295.03013OpenAlexW1988776462MaRDI QIDQ1935367

Francesc Esteva, Pilar Dellunde i Clavé

Publication date: 15 February 2013

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: http://ddd.uab.cat/record/153512

zbMATH Keywords

model theorymathematical logicwitnessed modelselementary extensionsfuzzy predicate logicsquasi-witnessed models

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Basic properties of first-order languages and structures (03C07)

Related Items

Fraïssé classes of graded relational structures ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ Elements of model theory in higher-order fuzzy logic ⋮ Back-and-forth systems for fuzzy first-order models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strict core fuzzy logics and quasi-witnessed models
• Provability in predicate product logic
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Model theory.
• An algebraic approach to non-classical logics
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Triangular norm based predicate fuzzy logics
• Making fuzzy description logic more general
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• A note to the definition of the Ł\(\Pi\)-algebras
• On theories and models in fuzzy predicate logics
• On witnessed models in fuzzy logic
• Fuzzy Models of First Order Languages
• Preserving mappings in fuzzy predicate logics
• On witnessed models in fuzzy logic II

This page was built for publication: On elementary equivalence in fuzzy predicate logics