Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic

Consultar RECERCAT

Títol:	Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
Autor/a:	Badia, Guillermo; Costa, Vicent; Dellunde i Clavé, Pilar; Noguera, Carles
Abstract:	Altres ajuts: AppPhil-RecerCaixa
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.
Matèries:	-Graded model theory -Mathematical fuzzy logic -Universal classes -Universal-existential classes -Amalgamation theorems -Preservation theorems
Drets:	open access 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. https://creativecommons.org/licenses/by/4.0/
Tipus de document:	Article
Publicat per:
Compartir:
Uri:	https://ddd.uab.cat/record/222742

Roca-Martín, Oriol; Falomir, Zoe; Costa, Vicent; Dellunde i Clavé, Pilar

Costa, Vicent; Dellunde i Clavé, Pilar

Costa, Vicent; Dellunde i Clavé, Pilar

Dellunde i Clavé, Pilar; García-Cerdaña, Àngel; Noguera, Carles

Dellunde i Clavé, Pilar; García-Cerdaña, Àngel; Noguera, Carles

Coordinació

Patrocini