 Nevertheless in what follows the term ‘truth values’ will be used even in the context of many-valued logics, without any commitment to a philosophical conception of truth as a graded notion or a specific understanding of semantical values in addition to the classical truth values.