一种基于广义函数概念的逻辑基础系统，其中广义函数的参数也是函数 (Schönfinkel 1924)。这种数学学科后来被 Curry 称为组合逻辑，Church 称为 “
转换” 或 “Lambda 演算”。组合逻辑系统非常基础，因为它只有相对较少的原子、公理和基本规则。尽管该系统不包含形式变量，但它可以用于完成任何在更常用的系统中使用变量可以完成的事情 (Curry 1977, p. 119)。
组合逻辑
参见
组合子, Lambda 演算使用 Wolfram|Alpha 探索
参考文献
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. [法语翻译及评论。]在 Wolfram|Alpha 中引用
组合逻辑如此引用
Weisstein, Eric W. "组合逻辑。" 来自 MathWorld--Wolfram 网络资源。 https://mathworld.net.cn/CombinatoryLogic.html