On Elementary Extensions in Fuzzy Predicate Logics

Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of elementary equivalence in fuzzy predicate logics using elementary extensions and introduce an strengthening of this notion, the so-called strong elementary equivalence. Using the method of diagrams developed in [5] and elementary extensions we present a counterexample to Conjectures 1 and 2 of [8].

• Type: Conference
• Year: 2010
• Where: IPMU
• Authors: Pilar Dellunde, Francesc Esteva
• Keywords: Elementary Equivalence, Elementary Extensions, Fuzzy Predicate Logics, Information Management, IPMU 2010