在另一个方向上，SKI可以依据B,C,K,W定义为：
与直觉主义逻辑的连结.组合子 formula_1, formula_2, formula_3 和 formula_4 对应于众所周知的命题逻辑四公理：而函数应用对应于肯定前件公理 AB, AC, AK 和 AW 以及函数应用规则 MP 对于直觉逻辑的蕴涵片段是完整的。为了使组合逻辑能模型化为直觉逻辑：