𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the completeness of order-theoretic models of the λ-calculus

✍ Scribed by Furio Honsell; Gordon Plotkin

Book ID
113641771
Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
180 KB
Volume
207
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structural completeness of the first-ord
Structural completeness of the first-order predicate calculus
✍ W. A. Pogorzelski; T. Prucnal 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 427 KB

1. The problem of structural conipleteness of a logical system is formulated as the qiicstion about derivability in this system of all permissible and structural rules (cf. [lo]).