0486421 20240103215557.420180212235959.9 85044581850 000436569200005 10.1016/j.fss.2018.01.016 16 s. P cav_un_epca*02566420165-01143451 (2018)83-98Elsevier Mathematical fuzzy logic first-order fuzzy logics non-classical logics cav_un_auth*0311883 Dellunde P. ES cav_un_auth*0343841 García-Cerdaña A. ES cav_un_auth*0293476 Noguera Carles Matematická teorie rozhodování Department of Decision Making Theory MTR MTR UTIA-B Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf cav_un_auth*0323282 GF15-34650L GA ČR CZ 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. WOS BA 10000 10100 10101 2019 RVO:67985556 http://hdl.handle.net/11104/0281410 S 2 Article Computer Science Theory Methods|Mathematics Applied|Statistics Probability COMPUTERSCIENCE.THEORY&METHODS|MATHEMATICS.APPLIED|STATISTICS&PROBABILITY 2.997 0.973 17.3 0.00849 0.63 17630 1.347 2.560 186 Q1 44.862 89.7 Q3 Q1* 1.98 Q1 94.715 2018 85044581850 SCOPUS PUBMED 000436569200005 WOS cav_un_epca*0256642 Fuzzy Sets and Systems 0165-0114 1872-6801 Roč. 345 č. 1 2018 83 98 Elsevier