Ústav teorie informace a automatizace

Jste zde

Bibliografie

Journal Article

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

Dellunde P., García-Cerdaña A., Noguera Carles

: Fuzzy Sets and Systems vol.345, 1 (2018), p. 83-98

: GF15-34650L, GA ČR

: Mathematical fuzzy logic, first-order fuzzy logics, non-classical logics

: 10.1016/j.fss.2018.01.016

: http://library.utia.cas.cz/separaty/2018/MTR/noguera-0486421.pdf

(eng): 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.

: BA

: 10101

07.01.2019 - 08:39