A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics

Abstract

We present a consequence relation for graded inference within the frame of infinite-valued Lukasiewicz semantics. We consider the premises to be true to at least a certain degree A and consider as consequences those sentences entailed to have a degree of truth at least some suitable threshold B. We focus on the study of some aspects and features of the consequence relation presented and, in particular, on the effect of variations in the thresholds A, B.