Truth-depressing hedges and BL-logic

Abstract. We show a complete axiomatization of unary connectives interpreted by monotone and superdiagonal truth functions, so-called truth-depressing hedges. These connectives formalize linguistic hedges like "slightly true" and "more or less". We follow ideas of [11] and show that BLvt-logic can be enriched by a unary connective for which we can establish strong completeness with respect to the desired interpretation.

• Type: Journal
• Year: 2006
• Where: FSS
• Authors: Vilém Vychodil
• Keywords: FSS 2006, So-called Truth-depressing Hedges, Superdiagonal Truth Functions, Unary Connective