Publication Type:
Conference Paper
Source:
IPMU 2010, Volume 6178, Dortmund, Germany, p.747-756 (2010)
Keywords:
equality-free language;
fuzzy predicate logic;
model theory;
elementary extension;
elementary equivalence
Abstract:
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].
