✦ LIBER ✦

Some Inconsistencies in Illative Combinatory Logic

✍ Scribed by M. W. Bunder

Publisher: John Wiley and Sons
Year: 1974
Tongue: English
Weight: 172 KB
Volume: 20
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19740201303

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Some models of combinatory logic

✍ D. Skordev 📂 Article 📅 1976 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 172 KB

Completeness of two systems of illative

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus

✍ Wil Dekkers; Martin Bunder; Henk Barendregt 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 193 KB

Typing in reflective combinatory logic

✍ Nikolai Krupski 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 253 KB

OTTER experiments in a system of combina

OTTER experiments in a system of combinatory logic

✍ Thomas Jech 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 668 KB

Hypomagnesaemia in sheep. Some inconsist

Hypomagnesaemia in sheep. Some inconsistencies

✍ R. G. Hemingway; N. S. Ritchie 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 716 KB