Conclusions

NOT) and division (OR NOT). This expands considerably

the space of the possible operations.

• This allows two kind of inferences (based on sum and division) that are retrograde since they represent a necessary-

• Generating a any kind of as

September 13,

any kind of inference (the computation is performed on the

generating statements).