Abstract
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.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call