𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note on theGödel-Gentzen Translation

✍ Scribed by Hajime Ishihara


Publisher
John Wiley and Sons
Year
2000
Tongue
English
Weight
117 KB
Volume
46
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Continuing Variations on a System of Gen
✍ Zvonimir Šikić 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 289 KB

C'OSTISUISG V--lRIATIONS ON X SYSTEM OF GENTZEN hy ZVOSIMIR ha16 in Zagreb (Yugoslavia) GEXTZES has shown in [lJ that,, in his sequent version of predicate logic, the dist.inction between IPC and CPC is forinally represented as distinction betweeii singular and multiple version of his system. KLEENE

A Note on the Local Stability of Transla
✍ M.D. Buhmann; C.K. Chui 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 153 KB

We give sufficient conditions on a radial basis function that imply that the multi-integer translates of this radial function satisfy a local stability estimate in the uniform norm. "c" 1993 Academic Press. Inc.

On a personal note
📂 Article 📅 1996 🏛 John Wiley and Sons ⚖ 124 KB 👁 2 views