title: |
Fuzzy logics with truth hedges revisited |
|
publication: |
||
part of series: |
Advances in Intelligent Systems Research | |
| pages: | 146 - 152 | |
DOI: |
To be assigned soon (how to use a DOI) | |
author(s): |
Francesc Esteva |
|
publication date: |
July 2011 |
|
keywords: |
Truth hedges, Mathematical Fuzzy
Logic, Standard completeness, T-norm based logics. |
|
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. |
|
copyright: |
©
Atlantis Press. This article is distributed under the
terms of the Creative Commons Attribution License, which permits
non-commercial use, distribution and reproduction in any medium,
provided the original work is properly cited. |
|
full text: |