Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/197511
Share/Export:
logo share SHARE logo core CORE BASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE
Title

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

AuthorsBadia, Guillermo; Costa, Vicent ORCID ; Dellunde, Pilar CSIC ORCID ; Noguera, Carles CSIC ORCID
KeywordsGraded model theory
Mathematical fuzzy logic
Universal classes
Universal-existential classes
Amalgamation theorems
Preservation theorems
Issue Date22-Feb-2019
PublisherSpringer Nature
CitationSoft Computing 23(7): 2177–2186 (2019)
AbstractThis 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 Loś–Tarski and the Chang–Loś–Suszko preservation theorems follow.
Publisher version (URL)http://dx.doi.org/10.1007/s00500-019-03850-6
URIhttp://hdl.handle.net/10261/197511
DOI10.1007/s00500-019-03850-6
ISSN1432-7643
E-ISSN1433-7479
Appears in Collections:(IIIA) Artículos

Files in This Item:
File Description SizeFormat
accesoRestringido.pdf15,35 kBAdobe PDFThumbnail
View/Open
Show full item record
Review this work

Google ScholarTM

Check

Altmetric

Dimensions


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.