However, this problem can be fixed by requiring active substitutions be defined on the base sort only (see, for instance, [3]). The purpose of this note is to supply a proof for the theorem. In the original semantics in [1], the use of structural equivalence introduces many possibilities and makes it difficult to write a rigorous proof. To overcome the difficulty we shall use intermediate seman...

in this paper, we introduce and study fuzzy variational-like inclusion, fuzzy resolvent equation and $h(cdot,cdot)$-$phi$-$eta$-accretive operator in real  uniformly smooth banach spaces. it is established that fuzzy variational-like inclusion is equivalent to a fixed point problem as well as to a fuzzy resolvent equation. this equivalence is used to define an iterative algorithm for solving fu...