Publicaciones

On elementary extensions in Fuzzy Predicate Logics

Tipo de Publicación:

Conference Paper

Autores:

Pilar Dellunde; Francesc Esteva

Origen:

IPMU 2010, Volumen6178, Dortmund, Germany, p.747-756 (2010)

Palabras clave:

equality-free language; fuzzy predicate logic; model theory; elementary extension; elementary equivalence

Resumen:

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

Proyectos: 
ARINF
AT
LOCOMOTION
MULOG 2
SGR2009
»