Effectiveness and multivalued logics
Giangiacomo Gerla · Journal of Symbolic Logic · 2006
Abstract Effective domain theory is applied to fuzzy logic. The aim is to give suitable notions of semi-decidable and decidableL-subset and to investigate about the effectiveness of the fuzzy deduction apparatus.