Although Dubois and Prade’s fuzzy elements and gradual sets cannot be represented as objects or fuzzy predicates in first-order versions of known systems of propositional fuzzy logic, they can be represented in higher-order fuzzy logic. However, this logical representation does not simplify handling these notions, compared to informal semantic methods of traditional fuzzy mathematics. Finding a...