摘要
为了研究组合逻辑(CL)与λ-演算的等价性,在CL中定又抽象运算“λ*x”以及引入规则ξ_C(所得理论记为CLξ_C) P=Q?λ*x·P=λ*x·Q是很自然的。通常研究λ-演算与CLξ_C的等价性时都以特殊的抽象运算为依据。本文得到了抽象运算“λ*x”所要满足的一般的充要条件以使λ-演算与 CLξ_C等价。定理1叙述为使一般λ-演算与CLξ_C等价,运算“λ*x”要满足的充要条件。定理2叙述为使外延的λ-演算与CLξ_C等价,运算λ*x”要满足的充要条件。
出处
《数学年刊（A辑）》
CSCD
北大核心
1992年第4期451-457,共7页
Chinese Annals of Mathematics
