... consists of the composition of (18vi) and F3; and FO, which consists of the composition of F 2, FI, and (181) and defines the overall function effected by the program, as shown in Figure 7. The ... In other words, (4) is true if and only if the intersection of D with the extension of B is wholly contained as a subset in the extension of A. D is omitted from the right-hand side of the ... non-determlnacy, and Prade and Valna (1980) attempt to incorporate concepts from the theory of fuzzy sets and systems. Further development of the latter of these efforts would be of particular...