Switch to: References

Add citations

You must login to add citations.
  1. Saturated models of first-order many-valued logics.Guillermo Badia & Carles Noguera - 2022 - Logic Journal of the IGPL 30 (1):1-20.
    This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should, respectively, satisfy and falsify. By means of an elementary chains construction, we prove that each model can be elementarily extended to a $\kappa $-saturated model, i.e. a model where as many types as possible are realized. In order (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Syntactic characterizations of first-order structures in mathematical fuzzy logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera - forthcoming - Soft Computing.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark