✦ LIBER ✦

Gentzen Games

✍ Scribed by Herman Ruge Jervell

Book ID: 102483477
Publisher: John Wiley and Sons
Year: 1985
Tongue: English
Weight: 316 KB
Volume: 31
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19850312506

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Rereading Gentzen

✍ Jan Von Plato 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 87 KB

A Relationship Among Gentzen's Proof-Red

A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game

✍ Masahiro Hamano; Mitsuhiro Okada 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 831 KB

## Abstract We first note that Gentzen's proof‐reduction for his consistency proof of PA can be directly interpreted as moves of Kirby‐Paris' Hydra Game, which implies a direct independence proof of the game (Section 1 and Appendix). Buchholz's Hydra Game for labeled hydras is known to be much stro

On the Gentzen Type Formalizations

✍ Anita Wasilewska 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 298 KB

Gentzen-type axiomatization for PAL

✍ Igor Walukiewicz 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 910 KB

A Note on theGödel-Gentzen Translation

✍ Hajime Ishihara 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 117 KB

Variations on A System Of Gentzen

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