[Revised entry by Katalin Bimbó on November 5, 2024.
Changes to: Main text, Bibliography]
Combinatory logic (henceforth: CL) is an elegant and powerful logical theory that is connected to many areas of logic, and has found applications in other disciplines, especially, in computer science and mathematics. CL was originally invented as a continuation of the reduction of the set of logical constants to a singleton set in classical first-order…
Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)
