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

Number of the records: 1

1.

SYSNO ASEP	0486421
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Back-and-forth systems for fuzzy first-order models
Author(s)	Dellunde, P. (ES) García-Cerdaña, A. (ES) Noguera, Carles (UTIA-B)_{RID, ORCID}
Source Title	Fuzzy Sets and Systems. - : Elsevier - ISSN 0165-0114 Roč. 345, č. 1 (2018), s. 83-98
Number of pages	16 s.
Publication form	Print - P
Language	eng - English
Country	NL - Netherlands
Keywords	Mathematical fuzzy logic ; first-order fuzzy logics ; non-classical logics
Subject RIV	BA - General Mathematics
OECD category	Pure mathematics
R&D Projects	GF15-34650L GA ČR - Czech Science Foundation (CSF)
Institutional support	UTIA-B - RVO:67985556
UT WOS	000436569200005
EID SCOPUS	85044581850
DOI	10.1016/j.fss.2018.01.016
Annotation	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.
Workplace	Institute of Information Theory and Automation
Contact	Markéta Votavová, votavova@utia.cas.cz, Tel.: 266 052 201.
Year of Publishing	2019

Number of the records: 1