𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Category theory based on combinatory logic

✍ Scribed by Bunder, M. W.

Publisher
Springer-Verlag
Year
1984
Weight
734 KB
Volume
24
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On some connections between logic and ca
On some connections between logic and category theory
✍ J. Lambek πŸ“‚ Article πŸ“… 1989 πŸ› Springer Netherlands 🌐 English βš– 593 KB

Categories may be viewed as deductive systems or as algebraic theories. We are primarily interested in the interplay between these two views and trace it through a number of structured categories and their internal languages, bearing in mind their relevance to the foundations of mathematics. We see

Arithmetic based on the Church numerals
Arithmetic based on the Church numerals in illative combinatory logic
✍ M. W. Bunder πŸ“‚ Article πŸ“… 1988 πŸ› Springer Netherlands 🌐 English βš– 589 KB

In the early thirties, Church developed predicate calculus within a system based on lambda calculus. Rosser and Kleene developed Arithmetic within this system, but using a Godelization technique showed the system to be inconsistent. Alternative systems to that of Church have been developed, but so