Abstract | ||
---|---|---|
The starting point of this paper are the works of Hajek and Vychodil on the axiomatization of truth-stressing and-depressing hedges as expansions of Hajek'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 Godel 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. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1016/j.ins.2012.12.010 | Inf. Sci. |
Keywords | Field | DocType |
fuzzy logic,fuzzy truth hedge,bl logic,standard completeness,main advantage,arbitrary core,godel logic,logical approach,broader sense,standard completeness property,and-depressing hedge,original logic | T-norm fuzzy logics,Discrete mathematics,Łukasiewicz logic,Logical connective,Truth value,Fuzzy logic,Monoidal t-norm logic,Many-valued logic,Mathematics,Intermediate logic | Journal |
Volume | ISSN | Citations |
232, | 0020-0255 | 25 |
PageRank | References | Authors |
1.04 | 22 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francesc Esteva | 1 | 1885 | 200.14 |
Lluís Godo | 2 | 888 | 56.28 |
Carles Noguera | 3 | 462 | 33.93 |