Počet záznamů: 1

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

SYSNO ASEP	0486421
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Článek ve WOS
Název	Back-and-forth systems for fuzzy first-order models
Tvůrce(i)	Dellunde, P. (ES) García-Cerdaña, A. (ES) Noguera, Carles (UTIA-B)_{RID, ORCID}
Zdroj.dok.	Fuzzy Sets and Systems. - : Elsevier - ISSN 0165-0114 Roč. 345, č. 1 (2018), s. 83-98
Poč.str.	16 s.
Forma vydání	Tištěná - P
Jazyk dok.	eng - angličtina
Země vyd.	NL - Nizozemsko
Klíč. slova	Mathematical fuzzy logic ; first-order fuzzy logics ; non-classical logics
Vědní obor RIV	BA - Obecná matematika
Obor OECD	Pure mathematics
CEP	GF15-34650L GA ČR - Grantová agentura ČR
Institucionální podpora	UTIA-B - RVO:67985556
UT WOS	000436569200005
EID SCOPUS	85044581850
DOI	10.1016/j.fss.2018.01.016
Anotace	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.
Pracoviště	Ústav teorie informace a automatizace
Kontakt	Markéta Votavová, votavova@utia.cas.cz, Tel.: 266 052 201.
Rok sběru	2019

Počet záznamů: 1