Back-and-forth systems for fuzzy first-order models
Popis výsledku
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
DOI - Digital Object Identifier
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Back-and-forth systems for fuzzy first-order models
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Back-and-forth systems for fuzzy first-order models
Popis výsledku anglicky
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.
Klasifikace
Druh
Jimp - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
GF15-34650L: Modelování vágních kvantifikátorů v matematické fuzzy logice
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2018
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Fuzzy Sets and Systems
ISSN
0165-0114
e-ISSN
—
Svazek periodika
345
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
16
Strana od-do
83-98
Kód UT WoS článku
000436569200005
EID výsledku v databázi Scopus
2-s2.0-85044581850
Druh výsledku
Jimp - Článek v periodiku v databázi Web of Science
OECD FORD
Pure mathematics
Rok uplatnění
2018