Article ID Journal Published Year Pages File Type
6855823 Fuzzy Sets and Systems 2018 16 Pages PDF
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.
Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence
Authors
, , ,