Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
Fundamenta Informaticae
Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
Fundamenta Informaticae
A Consequence Relation for Graded Inference within the Frame of Infinite-valued Łukasiewicz Logic
Fundamenta Informaticae - MFCS & CSL 2010 Satellite Workshops: Selected Papers
Hi-index | 0.00 |
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.