Back-and-forth systems for fuzzy first-order models
Dellunde i Clavé, Pilar (Universitat Autònoma de Barcelona. Departament de Filosofia)
García-Cerdaña, Àngel (Institut d'Investigació en Intel·ligència Artificial (IIIA-CSIC))
Noguera, Carles (Akademie věd České republiky)

Fecha:	2018
Resumen:	This paper continues the study of model theory for fuzzy logics by addressing the fundamental issue of classifying models according to their first-order theory. Three different definitions of elementary equivalence for fuzzy first-order models are introduced and separated by suitable counterexamples. We propose several back-and-forth conditions, based both on classical two-sorted structures and on non-classical structures, that are useful to obtain elementary equivalence in particular cases as we illustrate with several examples.
Derechos:	Aquest material està protegit per drets d'autor i/o drets afins. Podeu utilitzar aquest material en funció del que permet la legislació de drets d'autor i drets afins d'aplicació al vostre cas. Per a d'altres usos heu d'obtenir permís del(s) titular(s) de drets.
Lengua:	Anglès
Documento:	Article ; recerca ; Versió sotmesa a revisió
Materia:	Mathematical fuzzy logic ; First-order fuzzy logics ; Non-classical logics ; Elementary equivalence ; Back-and-forth systems ; Model theory
Publicado en:	Fuzzy sets and systems, Vol. 345 (2018) , p. 83-98, ISSN 0165-0114

Adreça alternativa: https://www.sciencedirect.com/science/article/pii/S0165011418300393#!
DOI: 10.1016/j.fss.2018.01.016

Pre-print 31 p, 377.5 KB

El registro aparece en las colecciones:
Artículos > Artículos de investigación
Artículos > Artículos publicados