We define the notion of “potential existence” by starting from the fact that in multi-valued logic the existential quantifier is interpreted by the least upper bound operator. Besides, we try to define in a general way how to pass from potential into actual existence.

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.