 An alternative truth-degree based solution to the sorites paradox has been proposed in Hájek &amp; Novák 2003. They introduce a new truth-functional connective modeling the expression “it is almost true that”. In this manner they formalize sorites-style reasoning within an axiomatic theory of an appropriate t-norm based fuzzy logic.