.png){kind=icon}
.png){kind=icon}
Return
Back-and-forth systems for fuzzy first-order models
.png){kind=icon}
OA
AI
DOI：10.1016/j.fss.2018.01.016.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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. (C) 2018 Elsevier B.V. All rights reserved.
Keywords:
Mathematical fuzzy logic
First-order fuzzy logics
Non-classical logics
Elementary equivalence
Back-and-forth systems
Model theory
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
2.7
Papers:
7.6K
Citations:
1.5W