Abstract | ||
---|---|---|
In this paper we build upon previous works of Hajek and Vychodil on the axiomatization of truth-stressing 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 Godel 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. |
Year | Venue | Keywords |
---|---|---|
2011 | PROCEEDINGS OF THE 7TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT-2011) AND LFA-2011 | Truth hedges,Mathematical Fuzzy Logic,Standard completeness,T-norm based logics |
Field | DocType | ISSN |
T-norm fuzzy logics,Discrete mathematics,Algebra,Unary operation,Fuzzy logic,Gödel logic,Hedge (finance),Completeness (statistics),Completeness (order theory),Mathematics | Conference | 1951-6851 |
Citations | PageRank | References |
5 | 0.57 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francesc Esteva | 1 | 1885 | 200.14 |
Lluis Godo | 2 | 1392 | 173.03 |
Carles Noguera | 3 | 462 | 33.93 |