Fuzzy logics with truth hedges revisited

DOI

10.2991/eusflat.2011.54How to use a DOI?

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

© 2011, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Francesc Esteva
AU  - Lluís Godo
AU  - Carles Noguera
PY  - 2011/08
DA  - 2011/08
TI  - Fuzzy logics with truth hedges revisited
BT  - Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-11)
PB  - Atlantis Press
SP  - 146
EP  - 152
SN  - 1951-6851
UR  - https://doi.org/10.2991/eusflat.2011.54
DO  - 10.2991/eusflat.2011.54
ID  - Esteva2011/08
ER  -