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 Łoś-Tarski and the Chang-Łoś-Suszko preservation theorems follow. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1007/s00500-019-03850-6 | Soft Comput. |
Keywords | Field | DocType |
Amalgamation theorems,Graded model theory,Mathematical fuzzy logic,Preservation theorems,Universal classes,Universal-existential classes | Computer science,First order,Fuzzy logic,Theoretical computer science,Model theory,Syntax | Journal |
Volume | Issue | ISSN |
23 | 7 | 1432-7643 |
Citations | PageRank | References |
1 | 0.35 | 10 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
guillermo badia | 1 | 5 | 5.53 |
Vicent Costa | 2 | 7 | 2.55 |
Pilar Dellunde | 3 | 156 | 22.63 |
Carles Noguera | 4 | 462 | 33.93 |