Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
Badia, Guillermo (University of Queensland. School of Historical and Philosophical Inquiry (Australia))
Costa, Vicent (Universitat Autònoma de Barcelona. Departament de Filosofia)
Dellunde i Clavé, Pilar (Barcelona Graduate School of Mathematics (BGSMath))
Noguera, Carles (Czech Academy of Sciences. Institute of Information Theory and Automation)

Data:	2019
Resum:	This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś-Tarski and the Chang-Łoś-Suszko preservation theorems follow.
Ajuts:	European Commission 689176 Ministerio de Economía y Competitividad TIN2015-71799-C2-1-P Agencia Estatal de Investigación TIN2017-89758-R Agència de Gestió d'Ajuts Universitaris i de Recerca 2017/SGR-172
Nota:	Altres ajuts: AppPhil-RecerCaixa
Drets:	Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, la comunicació pública de l'obra i la creació d'obres derivades, fins i tot amb finalitats comercials, sempre i quan es reconegui l'autoria de l'obra original.
Llengua:	Anglès
Document:	Article ; recerca ; Versió publicada
Matèria:	Graded model theory ; Mathematical fuzzy logic ; Universal classes ; Universal-existential classes ; Amalgamation theorems ; Preservation theorems
Publicat a:	Soft Computing, Vol. 23, Issue 7 (April 2019) , p. 2177-2186, ISSN 1433-7479

DOI: 10.1007/s00500-019-03850-6
PMID: 30956543

10 p, 316.9 KB

El registre apareix a les col·leccions:
Articles > Articles de recerca
Articles > Articles publicats