Applied combinatory logic

We have emphasized that CL is a powerful theory. Thus it is not surprising that combinatory logic has been applied in the foundations of mathematics. The approach that intended to turn CL into a suitably general framework is called illative combinatory logic. We devote the first section to this topic.