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.
Download full-text PDF |
Source |
|---|---|
| http://www.ncbi.nlm.nih.gov/pmc/articles/PMC6424149 | PMC |
| http://dx.doi.org/10.1007/s00500-019-03850-6 | DOI Listing |
Publication Analysis
Top Keywords
characterizations classes
8
mathematical fuzzy
8
fuzzy logic
8
syntactic characterizations
4
classes first-order
4
first-order structures
4
structures mathematical
4
logic paper
4
paper contribution
4
contribution graded
4
Similar Publications
Want AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!