CCG relies on combinatory logic, which has the same expressive power as the lambda calculus, but builds its expressions differently.
CCG وابسته به منطق‌های ترکیبی است که قدرت بیان یکسان همانند lambda calculus داشته اما طرز بیان متفاوتی را ایجاد می‌کند.