| 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]. |
