✦ LIBER ✦

A Simple Proof that Super-Consistency Implies Cut Elimination

✍ Scribed by Dowek, Gilles; Hermant, Olivier

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Proof of the Cut-Elimination Theorem i

✍ Satoko Titani 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 291 KB

Hauptsatz for Higher Order Logic.by Dag

✍ Review by: K. Schütte 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 117 KB