Paragraf kedua dari Memo 1973 tentangototabilitas dan Hubungan Logika Plotkin mengatakan sebagai berikut:
"Definisi [relasi] logis diturunkan dari yang sesuai dari M. Gordon untuk kalkulus λ yang diketik."
Ini tidak mengatakan secara eksplisit bahwa istilah itu diciptakan oleh Gordon. Tapi, mengingat bahwa memo tersebut berjudul "Lambda-definability dan hubungan logis" seolah-olah "hubungan logis" adalah ide yang sudah dikenal, dan para kedua mengatakan "membangun, tertentu disebut , hubungan logis," Saya pikir itu sangat mungkin bahwa Gordon menciptakan istilah dan Plotkin menggunakannya karenanya. (Plotkin mengkonfirmasi kepada saya bahwa apa pun yang ia tulis di memo itu benar.)
Gordon dikreditkan lagi di bagian atas hal. 12,
"M. Gordon mengusulkan, sebagai obat yang mungkin, bahwa hubungan ... harus diperluas - bukan hanya permutasi."
Versi makalah yang diterbitkan ("Lambda-definability dalam hierarki tipe lengkap" dalam To HB Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism ) memiliki pernyataan ini. Itu juga memiliki komentar yang dapat ditafsirkan sebagai penjelasan dari istilah "hubungan logis":
Karena sifat "logis" dari elemen -definable, mereka harus invarian di bawah permutasi dari D .λD
Dalam pandangan saya, ini adalah penjelasan yang sangat memuaskan mengapa hubungan logis "logis". Kalkulus Lambda adalah logis dan, jadi, fungsi yang didefinisikan menggunakannya akan seragam sehubungan dengan jenis dasar. Mereka tidak bisa "melihat" permutasi yang mungkin kita lakukan untuk nilai-nilai tipe dasar. Dilihat dengan cara ini, apa yang dimaksud Gordon dan Plotkin dengan "logis" pada dasarnya sama dengan apa yang disebut Reynolds sebagai "parametrik".
Namun, istilah "hubungan logis" tidak muncul dalam versi makalah yang diterbitkan. Ada kemungkinan bahwa wasit mungkin keberatan bahwa istilah itu membingungkan dan Plotkin mungkin memutuskan yang terbaik untuk menghindari istilah itu. Tapi, Statman kembali ke terminologi lama dan istilah itu telah kembali ke bahasa populer.