On elementary equivalence in fuzzy predicate logics

DOI10.1007/S00153-012-0303-XMaRDI QIDQ1935367zbMATH OpenOpenAlexFDO

Authors Francesc Esteva, Pilar Dellunde

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

elementary extensionsfuzzy predicate logicsmathematical logicmodel theoryquasi-witnessed modelswitnessed models

Mathematics Subject Classification ID

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

Review text

This paper is a contribution to the model theory of fuzzy logic, building upon some previous work by \textit{P. Hájek} and \textit{P. Cintula} [J. Symb. Log. 71, No. 3, 863--880 (2006; Zbl 1111.03030)] where the basics of a theory of elementary equivalence for fuzzy predicate logics were developed. In particular, Hájek and Cintula had proved that in core fuzzy logics, a theory \(T'\) is a conservative extension of a theory \(T\) iff every exhaustive model of \(T\) can be elementarily one-to-one mapped into some model of \(T'\), and conjectured that the result continues to hold when ``exhaustive model is replaced by ``arbitrary model. In this paper, the authors provide a counterexample to this conjecture. Other notable results in this article include a characterisation of elementary equivalence between models of fuzzy predicate logics that uses elementary mappings, as well as an investigation of the properties of elementary extensions in witnessed and quasi-witnessed theories.

Recommendations

• On theories and models in fuzzy predicate logics
• Elements of model theory in higher-order fuzzy logic
• Model-theoretic constructions in fuzzy logic with evaluated syntax
• Back-and-forth systems for fuzzy first-order models
• Preserving mappings in fuzzy predicate logics

Cites work

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

Cited in

(7)

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

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

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