Títol | On elementary extensions in Fuzzy Predicate Logics |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Dellunde P, Esteva F |
Editor | R. Huellermeier KE, Hoffmann F. |
Conference Name | IPMU 2010 |
Volume | 6178 |
Conference Location | Dortmund, Germany |
Paginació | 747-756 |
Date Published | 28/06/2010 |
Paraules clau | elementary equivalence, elementary extension, equality-free language, fuzzy predicate logic, model theory |
Resum | Abstract. Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of ele- mentary equivalence in fuzzy predicate logics using elementary exten- sions 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]. |