✦ LIBER ✦

Algebraic proofs of cut elimination

✍ Scribed by Jeremy Avigad

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic proof theory for substructural

✍ Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 399 KB

Structure of proofs and the complexity o

✍ Wenhui Zhang 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 182 KB

Upper bound on the lengthening of proofs

✍ V. P. Orevkov 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 689 KB

A Syntactic Proof of Cut-Elimination For

✍ S. Valentini 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 288 KB

Thermodynamic proofs of algebraic inequa

✍ Ch. Zylka; G. Vojta 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 129 KB

Phase Semantics for Higher Order Complet

✍ Mitsuhiro Okada 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 35 KB