Institute of Information Theory and Automation

You are here

Bibliography

Journal Article

A logical approach to fuzzy truth hedges

Esteva F., Godo L., Noguera Carles

: Information Sciences vol.232, 1 (2013), p. 366-385

: Mathematical fuzzy logic, Standard completeness, Truth hedges

: 10.1016/j.ins.2012.12.010

: http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469148.pdf

(eng): 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: (i) they preserve the standard completeness properties of the original logic and (ii) 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.

: BA

2019-01-07 08:39