[TYPES] logical relations

[Robert Harper]

I asked Rick Statman about this, here is his reply:

Actually, the phrase "logical relations" comes from Mike Gordon.
It was told to me by Gordon Plotkin in 1974 who heard it from Mike.
I coined the phrase "fundamental theorem".
I thought the the phrase "logical realtion" was appropriate since
these relations are closed under the logical operations (suitably
defined).

Bob Harper

On Jan 24, 2006, at 7:17 PM, Eijiro Sumii wrote:

> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/ 
> types-list ]
>
> Hello,
>
> I am trying to find who coined the term "logical relations" and the
> names "fundamental/main/basic theorem/lemma" (or any combination of
> them) for what reason.  I tried to read the original papers, but some
> (many?) of them are not quite easy to obtain now...  Does anybody
> know?
>
> Thanks,
>
>         Eijiro