Graded many-valued resolution with aggregation

The aim of this paper is to give a sound resolution deduction rule in many-valued logic with truth value range [0,1], and with arbitrary connectives and graded information. We introduce and study the resolution truth function which will evaluate the truth value of the result of resolution. Conditions under which this function yields an aggregation operator will be given.