一種基於廣義函式概念的邏輯基礎系統，其中廣義函式的引數也是函式 (Schönfinkel 1924)。這種數學學科後來被 Curry 稱為組合邏輯，Church 稱為 “
轉換” 或 “Lambda 演算”。組合邏輯系統非常基礎，因為它只有相對較少的原子、公理和基本規則。儘管該系統不包含形式變數，但它可以用於完成任何在更常用的系統中使用變數可以完成的事情 (Curry 1977, p. 119)。
組合邏輯
參見
組合子, Lambda 演算使用 探索
參考文獻
Curry, H. B. "組合邏輯。" §3D5 in 數學邏輯基礎。 New York: Dover, pp. 117-119, 1977.Curry, H. and Feys, R. 組合邏輯，卷 1。 Amsterdam, Netherlands: North-Holland, 1958.Hindley, J. R.; Lercher, B.; Seldin, J. P. 組合邏輯導論。 London: Cambridge University Press, 1972.Hindley, J. R. and Seldin, J. P. 組合子與 lambda 演算導論。 Cambridge, England: Cambridge University Press, 1986.Holmes, M. R. "與奎因的‘新基礎’相關的組合邏輯系統。" Annals Pure Appl. Logic 53, 103-133, 1991.Seldin, J. P. and Hindley, J. R. (Eds.). 獻給 H. B. Curry：關於組合邏輯、Lambda 演算和形式主義的論文集。 New York: Academic Press, 1980.Schönfinkel, M. "Über die Bausteine der mathematischen Logik." Math. Ann. 92, 305-316, 1924.Schönfinkel, M. "Sur les éléments de construction de la logique mathématique." Math. Inform. Sci. Humaines, No. 112, 5-26 and 59, 1990. [法語翻譯及評論。]在 中引用
組合邏輯如此引用
Weisstein, Eric W. "組合邏輯。" 來自 網路資源。 https://mathworld.tw/CombinatoryLogic.html