A universal theory of measure and integral on valuation spaces with respect to diverse implication operators