Re: terminology

paul c wrote:

> That is tidy, but one complaint - I believe that in r.t. variable means
> foremost a logical place-holder
Of course it is. What else can it be?

> as in the fopl whereas I believe D&D
> coined the term relvar as a means to talk about imperative computer
> languages that implement an r.t. Not clear to me that these uses of
> variable and relvar are always comparable, e.g., what kind of
> destructive operation there can be for a fopl logical variable.
Same question I have asked...

> p
Received on Sun Jun 18 2006 - 21:29:51 CEST