Effective domain theory is applied to fuzzy logic. The aim is to give suitable notions of semi-decidable and decidable L-subset and to investigate about the effectiveness of the fuzzy deduction apparatus.
"Effectiveness and multivalued logics." J. Symbolic Logic 71 (1) 137 - 162, March 2006. https://doi.org/10.2178/jsl/1140641166