Re: SEM: comprehensive entailments without dark triples

The problem with these comprehension principles is that they do not
generate non-tree structures.  Therefore classes that are not in the form
of trees (yes, this is rather vague, but my previous message gives one
example) will not be consequences.

peter

Received on Monday, 22 April 2002 11:41:36 UTC