In this paper we build upon previous works of Hájek and Vychodil on the axiomatization of truthstressing and depressing hedges as expansions of BL logic by new unary connectives. They show that their logics are chain-complete, but standard completeness is only proved for the expansions over Gödel logic. We propose weaker axiomatizations that have as main advantages the preservation of standard completeness properties of the original logic and the fact that any subdiagonal (resp. superdiagonal) non-decreasing function on [0, 1] preserving 0 and 1 is a sound interpretation of the truth stresser (resp. depresser) connectives. © 2011. The authors-Published by Atlantis Press.
Esteva, F., Godo, L., Noguera, C. (2011). Fuzzy logics with truth hedges revisited. In Proceedings of the 7th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2011 and French Days on Fuzzy Logic and Applications, LFA 2011 (pp.146-152). Atlantis Press [10.2991/eusflat.2011.54].
Fuzzy logics with truth hedges revisited
Noguera C.
2011-01-01
Abstract
In this paper we build upon previous works of Hájek and Vychodil on the axiomatization of truthstressing and depressing hedges as expansions of BL logic by new unary connectives. They show that their logics are chain-complete, but standard completeness is only proved for the expansions over Gödel logic. We propose weaker axiomatizations that have as main advantages the preservation of standard completeness properties of the original logic and the fact that any subdiagonal (resp. superdiagonal) non-decreasing function on [0, 1] preserving 0 and 1 is a sound interpretation of the truth stresser (resp. depresser) connectives. © 2011. The authors-Published by Atlantis Press.File | Dimensione | Formato | |
---|---|---|---|
Esteva-Godo-Noguera-EUSFLAT-2011.pdf
accesso aperto
Tipologia:
PDF editoriale
Licenza:
Creative commons
Dimensione
1.29 MB
Formato
Adobe PDF
|
1.29 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/1200805