逻辑关系的起源是什么？

我实际上有两个问题：

1. 谁首先使用逻辑关系来关联语义？

   我将它们追溯到雷诺的“论直接语义学与连续语义学之间的关系 ”，但是我不能声称自己做了详尽的搜索。

   我发现了对较早的逻辑关系的引用（Tait，'67），但没有涉及语义。

2. 当前对逻辑关系最好的介绍是什么？

我从TCS手册中知道Mitchell的“ 用于编程语言的类型系统 ”。还有什么其他的展览？

普洛特金（Plotkin）1973年关于Lambda可定义性和逻辑关系的备忘录的第二段说：

“逻辑[关系]的定义是从M. Gordon中对应的λ型演算中得出的。”

这并未明确表示该术语是由戈登创造的。但是，考虑到该备忘录的标题为“ Lambda可定义性和逻辑关系”，就好像“逻辑关系”是一个已知的想法，第二段说“构建某些所谓的逻辑关系”，我认为这很有可能戈登创造了该术语，而普洛特金因此使用了该术语。（普罗特金向我证实，他在备忘录中所写的内容都是正确的。）

戈登再次被认为是p的首位。12

“戈登先生建议，作为一种可能的补救办法，应扩大关系……而不只是排列。”

该论文的出版版本（“ To HB Curry：组合逻辑论文，Lambda微积分和形式主义中的“完整类型层次中的Lambda可定义性” ）对此进行了说明。它也有一个注释，可以解释为对“逻辑关系”的解释：

$\lambda$$D$

在我看来，这是为什么逻辑关系是“逻辑”的一个非常令人满意的解释。Lambda演算是逻辑的，因此使用它定义的功能在基本类型方面是统一的。他们无法“看到”我们可能对基本类型的值所做的排列。这样看来，戈登和普洛特金所说的“逻辑”与雷诺兹所说的“参数化”本质上是相同的。

但是，术语“逻辑关系”未出现在该论文的发行版本中。裁判员可能会反对该术语令人困惑，而Plotkin可能已决定最好避免使用该术语。但是，斯塔曼（Statman）回到了旧术语，这个术语又重新流行起来。

普洛特金（Plotkin）在他未发表但仍广为流传且有影响力的1973年论文“ Lambda可定义性与逻辑关系”中使用了逻辑关系。我的网页上有此注释的副本。

我曾经以为这是名字的由来，但是当我问里克·斯塔特曼（Rick Statman）时，他告诉我迈克·戈登（Mike Gordon）创造了逻辑关系一词来描述Tait的方法，他和戈登·普洛特金（Gordon Plotkin）都是从他那里拿来的。我认为这是它进入编程语言行话的方式，尽管您可以通过询问Plotkin来确保。