Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1016/j.fss.2018.01.016 | Fuzzy Sets and Systems |
Keywords | Field | DocType |
Mathematical fuzzy logic,First-order fuzzy logics,Non-classical logics,Elementary equivalence,Back-and-forth systems,Model theory | Discrete mathematics,Elementary equivalence,Algebra,First order,Fuzzy logic,Counterexample,Model theory,Mathematics | Journal |
Volume | ISSN | Citations |
345 | 0165-0114 | 3 |
PageRank | References | Authors |
0.41 | 10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pilar Dellunde | 1 | 156 | 22.63 |
Àngel García-Cerdaña | 2 | 71 | 10.05 |
Carles Noguera | 3 | 462 | 33.93 |