✦ LIBER ✦

Proof-theoretic analysis of termination proofs

✍ Scribed by Wilfried Buchholz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof-theoretical analysis of order rela

✍ Sara Negri; Jan von Plato; Thierry Coquand 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 109 KB

A proof-theoretic analysis of collection

✍ Lev D. Beklemishev 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 216 KB

Proof-theoretic analysis by iterated ref

✍ L.D. Beklemishev 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 343 KB

Datatype-Generic Termination Proofs

✍ Roland Backhouse; Henk Doornbos 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 526 KB

Introduction: Proof-theoretic Semantics

✍ Reinhard Kahle; Peter Schroeder-Heister 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 155 KB

A Proof-theoretic View of Necessity

✍ Reinhard Kahle 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 239 KB