Not Co-Existence implicit?

Consider the following log skeleton: Question: Is there a Not Co-Existence between A and E? Yes, there is. As E has D as Precedence, “if E, then also D”. As D has A as a Not Co-Existence, “if D, then not A”. Hence, “if E, then D, and not A”. The following log skeleton shows … [Read more…]

Response/Precedence implicit?

Consider the following log skeleton: Question: Are the Response and Precedence relations between D and F implicit? The path from D to E to F seems to suggest that these relations are indeed implicit, but this suggestion is wrong, as is shown by the absence of these relations between A and C: D has F … [Read more…]