Back-and-forth systems for fuzzy first-order models
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...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2018 |
| País: | España |
| Institución: | Universitat Autònoma de Barcelona |
| Repositorio: | Dipòsit Digital de Documents de la UAB |
| Idioma: | inglés |
| OAI Identifier: | oai:ddd.uab.cat:195647 |
| Acceso en línea: | https://ddd.uab.cat/record/195647 https://dx.doi.org/urn:doi:10.1016/j.fss.2018.01.016 |
| Access Level: | acceso abierto |
| Palabra clave: | Mathematical fuzzy logic First-order fuzzy logics Non-classical logics Elementary equivalence Back-and-forth systems Model theory |
| Sumario: | 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 |
|---|