On elementary equivalence in fuzzy predicate logics
From MaRDI portal
Publication:1935367
DOI10.1007/S00153-012-0303-XzbMATH Open1295.03013OpenAlexW1988776462MaRDI QIDQ1935367FDOQ1935367
Pilar Dellunde, Francesc Esteva
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
model theorymathematical logicwitnessed modelselementary extensionsfuzzy predicate logicsquasi-witnessed models
Fuzzy logic; logic of vagueness (03B52) Basic properties of first-order languages and structures (03C07)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- A proof of standard completeness for Esteva and Godo's logic MTL
- Model theory.
- An algebraic approach to non-classical logics
- Triangular norm based predicate fuzzy logics
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Making fuzzy description logic more general
- On theories and models in fuzzy predicate logics
- On witnessed models in fuzzy logic
- Fuzzy Models of First Order Languages
- A note to the definition of the Ł\(\Pi\)-algebras
- On witnessed models in fuzzy logic II
- Provability in predicate product logic
- Strict core fuzzy logics and quasi-witnessed models
- Preserving mappings in fuzzy predicate logics
Cited In (5)
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)
