𝔖 Bobbio Scriptorium
✦   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

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
✍ 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
Variations on A System Of Gentzen
✍ E. G. K. LΓ³pez-Escobar πŸ“‚ Article πŸ“… 1981 πŸ› John Wiley and Sons 🌐 English βš– 230 KB