Re: General semantics

Clifford Heath wrote:
> paul c wrote:
...
> When you talk of a unary relation, do you really mean a set of unary
> facts of a single unary fact type? Or do you also include existential
> fact types under the term "unary relation"? Because for me, those are
> quite different things.
>

By unary relation I mean a relation with one attribute (which I think is pretty standard lingo, surprised that anybody here wouldn't think that) but I have no idea what a 'fact type' is. I know of relation and tuple types but don't know what use terms like 'fact type' or 'unary fact' terms might have. Received on Fri May 21 2010 - 02:58:57 CEST