Meta-theorems on inequalities for scalar fuzzy set cardinalities

摘要

We present meta-theorems stating general conditions ensuring that certain inequalities for cardinalities of ordinary sets are preserved under fuzzification, when adopting a scalar approach to fuzzy set cardinality. The conditions pertain to the commutative conjunctor used for modelling fuzzy set intersection. In particular, this conjunctor should fulfil a number of Bell-type inequalities. The advantage of these meta-theorems is that repetitious calculations can be avoided. This is illustrated in the demonstration of the Lukasiewicz transitivity of fuzzified versions of the simple matching coefficient and the Jaccard coefficient, or equivalently, the triangle inequality of the corresponding dissimilarity measures.