@article{b2b92fab6a74452881b24e5465521224,
title = "Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic",
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 {\L}o{\'s}–Tarski and the Chang–{\L}o{\'s}–Suszko preservation theorems follow.",
keywords = "Amalgamation theorems, Graded model theory, Mathematical fuzzy logic, Preservation theorems, Universal classes, Universal-existential classes",
author = "Guillermo Badia and Vicent Costa and Pilar Dellunde and Carles Noguera",
note = "Funding Information: Acknowledgements Open access funding provided by Austrian Science Fund (FWF). The authors are indebted to two anonymous referees and to the editor for their critical and interesting remarks that have helped improving the presentation the paper. Costa, Dellunde, and Noguera received funding from the European Union{\textquoteright}s Horizon 2020 research and innovation programme under the Marie Curie Grant Agreement No. 689176 (SYSMICS project). Badia is supported by the Project I 1923-N25 (New perspectives on residuated posets) of the Austrian Science Fund (FWF). Costa is also supported by the Grant for the recruitment of early-stage research staff (FI-2017) from the Generalitat de Catalunya. Dellunde is also partially supported by the Project RASO TIN2015-71799-C2-1-P, CIMBVAL TIN2017-89758-R, and the Grant 2017SGR-172 from the Generalitat de Catalunya. The research leading to these results has received funding from AppPhil-RecerCaixa. Finally, Noguera is also supported by the Project GA17-04630S of the Czech Science Foundation (GACˇ R). Publisher Copyright: {\textcopyright} 2019, The Author(s). Copyright: Copyright 2019 Elsevier B.V., All rights reserved.",
year = "2019",
month = apr,
day = "15",
doi = "https://doi.org/10.1007/s00500-019-03850-6",
language = "English",
volume = "23",
pages = "2177--2186",
journal = "Soft Computing",
issn = "1432-7643",
number = "7",
}