✦ 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
DOI: 10.1002/(sici)1521-3870(200001)46:1<135::aid-malq135>3.0.co;2-r

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Note on Gentzen's Decision Procedure f

A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic

✍ Kosta Došen 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 260 KB 👁 1 views

Variations on A System Of Gentzen

✍ E. G. K. López-Escobar 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB

Continuing Variations on a System of Gen

Continuing Variations on a System of Gentzen

✍ 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

A Note on the Local Stability of Translates of Radial Basis Functions

✍ 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.

A Note on Strong Nörlund Summability

✍ M.L. Mittal; Rajesh Kumar 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 125 KB

On a personal note

📂 Article 📅 1996 🏛 John Wiley and Sons ⚖ 124 KB 👁 2 views