Back-and-forth systems for fuzzy first-order models

0486421 - ÚTIA 2019 RIV NL eng J - Článek v odborném periodiku
Dellunde, P. - García-Cerdaña, A. - Noguera, Carles
Back-and-forth systems for fuzzy first-order models.
Fuzzy Sets and Systems. Roč. 345, č. 1 (2018), s. 83-98. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR(CZ) GF15-34650L
Institucionální podpora: RVO:67985556
Klíčová slova: Mathematical fuzzy logic * first-order fuzzy logics * non-classical logics
Obor OECD: Pure mathematics
Impakt faktor: 2.907, rok: 2018
http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf

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.
Trvalý link: http://hdl.handle.net/11104/0281410