Combinatory Logic

[Revised entry by Katalin Bimbó on November 10, 2016. Changes to: Main text, Bibliography, notes.html] Combinatory logic (henceforth: CL) is an elegant and powerful logical theory that is
Philosophy News image
[Revised entry by Katalin Bimbó on November 10, 2016. Changes to: Main text, Bibliography, notes.html] 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...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus