elementary extension

On elementary extensions in Fuzzy Predicate Logics

Publication Type:

Conference Paper

Authors:

Pilar Dellunde; Francesc Esteva

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

Syndicate content