ตรรกะของฟังก์ชันที่คำนวณได้ ( LCF ) เป็นระบบนิรนัยสำหรับฟังก์ชันที่คำนวณได้ซึ่งเสนอโดยDana Scottในปี 1969 ในบันทึกที่ไม่ได้รับการตีพิมพ์จนกระทั่งปี 1993 ^{[ 1 ]}เป็นแรงบันดาลใจให้เกิด:

• ตรรกะสำหรับฟังก์ชันที่คำนวณได้ (LCF) ตรรกะการพิสูจน์ทฤษฎีบทโดยRobin Milner ^{[ 2 ]}
• การเขียนโปรแกรมฟังก์ชันที่คำนวณได้ (PCF) ภาษาการเขียนโปรแกรมเชิงทฤษฎีขนาดเล็กโดยGordon Plotkin ^{[ 3 ]}