𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A variant of the proof of the completeness of the first order functional calculus

✍ Scribed by Jerzy Słupecki; Witold A. Pogorzeilski

Publisher
Springer Netherlands
Year
1961
Tongue
English
Weight
273 KB
Volume
12
Category
Article
ISSN
0039-3215

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]).

On Theses of the First-Order Functional
On Theses of the First-Order Functional Calculus
✍ Juliusz Reichbach 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 492 KB

ON THESES OF THE FIRST-ORDER FUNCTIONAL CALCULUS by JULIUSZ REICIII%ACII. in Tcl Aviv, Tsra,cl Wo shall prcsciit two chnractcrizations of tlicses of tho first-order f u~ictional calculus and some rcmarlis of this lrincl. The possibility of thc first-cliaracterizat,ioll wc havc nicntioncd in papers