|Title||A logical approach to fuzzy truth hedges|
|Publication Type||Journal Article|
|Year of Publication||2013|
|Authors||Esteva F, Godo L, Noguera C|
|Pagination||366 - 385|
The starting point of this paper are the works of Hájek and Vychodil on the axiomatization of truth-stressing and depressing hedges as expansions of Hájek's BL logic by new unary connectives. They showed that their logics are chain-complete, but standard completeness was only proved for the expansions over Gödel logic. We propose weaker axiomatizations over an arbitrary core fuzzy logic which have two main advantages: (1) they preserve the standard completeness properties of the original logic and (2) 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. Hence, these logics accommodate most of the truth hedge functions used in the literature about of Fuzzy logic in a broader sense.
- About IIIA
- Current news