visitant ::
identificació
|
|||||||||||||||
Cerca | Lliura | Ajuda | Servei de Biblioteques | Sobre el DDD | Català English Español |
Pàgina inicial > Articles > Articles publicats > Back-and-forth systems for fuzzy first-order models |
Data: | 2018 |
Resum: | 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. |
Drets: | Tots els drets reservats. |
Llengua: | Anglès |
Document: | Article ; recerca ; Versió sotmesa a revisió |
Matèria: | Mathematical fuzzy logic ; First-order fuzzy logics ; Non-classical logics ; Elementary equivalence ; Back-and-forth systems ; Model theory |
Publicat a: | Fuzzy sets and systems, Vol. 345 (2018) , p. 83-98, ISSN 0165-0114 |
Pre-print 31 p, 377.5 KB |