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)

Date:	2019
Abstract:	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.
Grants:	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
Note:	Altres ajuts: AppPhil-RecerCaixa
Rights:	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.
Language:	Anglès
Document:	Article ; recerca ; Versió publicada
Subject:	Graded model theory ; Mathematical fuzzy logic ; Universal classes ; Universal-existential classes ; Amalgamation theorems ; Preservation theorems
Published in:	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

The record appears in these collections:
Articles > Research articles
Articles > Published articles