✦ LIBER ✦

Typing in reflective combinatory logic

✍ Scribed by Nikolai Krupski

Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 253 KB
Volume: 141
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2005.11.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Inconsistencies in Illative Combina

Some Inconsistencies in Illative Combinatory Logic

✍ M. W. Bunder 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 172 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

On pseudo-cβnormal form in combinatory l

On pseudo-cβnormal form in combinatory logic

✍ Mohamed Mezghiche 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 1005 KB

Predicate calculus and naive set theory

Predicate calculus and naive set theory in pure combinatory logic

✍ Bunder, M. W. 📂 Article 📅 1981 🏛 Springer-Verlag ⚖ 394 KB

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

Reflection in General Logics, Rewriting

Reflection in General Logics, Rewriting Logic, and Maude

✍ Manuel Clavel 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 604 KB