Re: General semantics
From: paul c <toledobythesea_at_oohay.ac>
Date: Wed, 19 May 2010 23:58:22 GMT
Message-ID: <yW_In.4245$Z6.2175_at_edtnps82>
Date: Wed, 19 May 2010 23:58:22 GMT
Message-ID: <yW_In.4245$Z6.2175_at_edtnps82>
Tegiri Nenashi wrote:
> ...
> "relations aren't domains" sounds like some dogma. In my system
> domains are unary relations (or predicates if the term "relation" is
> reserved for finite sets of tuples).
>
In that case, unary relations have more operators than other relations, not a complication I'd like to deal with. Received on Thu May 20 2010 - 01:58:22 CEST