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].
Links:
[1] http://www.iiia.csic.es/en/individual/pilar-dellunde
[2] http://www.iiia.csic.es/en/individual/francesc-esteva
[3] http://www.iiia.csic.es/en/publications/keyword/equality-free language
[4] http://www.iiia.csic.es/en/publications/keyword/fuzzy predicate logic
[5] http://www.iiia.csic.es/en/publications/keyword/model theory
[6] http://www.iiia.csic.es/en/publications/keyword/elementary extension
[7] http://www.iiia.csic.es/en/publications/keyword/elementary equivalence
[8] http://www.iiia.csic.es/en/publications/export/tagged/3773
[9] http://www.iiia.csic.es/en/publications/export/xml/3773
[10] http://www.iiia.csic.es/en/publications/export/bib/3773
[11] http://www.iiia.csic.es/en/project/arinf
[12] http://www.iiia.csic.es/en/project/at
[13] http://www.iiia.csic.es/en/project/locomotion-0
[14] http://www.iiia.csic.es/en/project/mulog-2
[15] http://www.iiia.csic.es/en/project/sgr2009