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

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)

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

• 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?)
• 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
• 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
• Elements of model theory in higher-order fuzzy logic
• Back-and-forth systems for fuzzy first-order models
• On theories and models in fuzzy predicate logics
• On witnessed models in fuzzy logic
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• Preserving mappings in fuzzy predicate logics

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)