This article is a contribution to the theoretical study of weighted structures in fuzzy logic. We consider an important item from classical model theory: the construction of models that do not have any collection satisfying certain prescribed properties, that is, an omitting types theorem. We generalize the work done by Cintula and Diaconescu (Omitting Types Theorem for Fuzzy Logics, IEEE Transactions on Fuzzy Systems 27(2):273-277, 2019), who solved the problem for standard one-sided types. Instead, we introduce types for fuzzy structures as pairs of sets of formulas with free variables (expressing, respectively, properties to be satisfied and those to be avoided) and prove the corresponding omitting types theorem in the framework of uninorm-based logics.
Badia, G., Noguera, C. (2021). A General Omitting Types Theorem in Mathematical Fuzzy Logic. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 29(6), 1386-1394 [10.1109/TFUZZ.2020.2975146].
A General Omitting Types Theorem in Mathematical Fuzzy Logic
Noguera C.
2021-01-01
Abstract
This article is a contribution to the theoretical study of weighted structures in fuzzy logic. We consider an important item from classical model theory: the construction of models that do not have any collection satisfying certain prescribed properties, that is, an omitting types theorem. We generalize the work done by Cintula and Diaconescu (Omitting Types Theorem for Fuzzy Logics, IEEE Transactions on Fuzzy Systems 27(2):273-277, 2019), who solved the problem for standard one-sided types. Instead, we introduce types for fuzzy structures as pairs of sets of formulas with free variables (expressing, respectively, properties to be satisfied and those to be avoided) and prove the corresponding omitting types theorem in the framework of uninorm-based logics.File | Dimensione | Formato | |
---|---|---|---|
FINAL VERSION.pdf
non disponibili
Tipologia:
Pre-print
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
340.24 kB
Formato
Adobe PDF
|
340.24 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
A_General_Omitting_Types_Theorem_in_Mathematical_Fuzzy_Logic.pdf
non disponibili
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
268.49 kB
Formato
Adobe PDF
|
268.49 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/1199975