Title:
|
Back-and-forth systems for fuzzy first-order models
|
Author:
|
Dellunde i Clavé, Pilar; García-Cerdaña, Àngel; Noguera, Carles
|
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 |
Publication date:
|
2021-09-10 |
Subject(s):
|
-Mathematical fuzzy logic -First-order fuzzy logics -Non-classical logics -Elementary equivalence -Back-and-forth systems -Model theory |
Rights:
|
open access
Tots els drets reservats.
https://rightsstatements.org/vocab/InC/1.0/ |
Document type:
|
Article |
Published by:
|
|
Share:
|
|
Uri:
|
https://ddd.uab.cat/record/195647
|