✦ LIBER ✦

Elimination of the inelastic cut in theN/Dmethod

✍ Scribed by M. Froissart

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the question of adequacy of theN/Dmet

✍ H. Banerjee 📂 Article 📅 1967 🏛 Springer-Verlag ⚖ 190 KB

The modal logic of provability: Cut-elim

✍ Silvio Valentini 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 216 KB

On cut elimination in the presence of pe

✍ Gordeev, L. 📂 Article 📅 1987 🏛 Springer-Verlag ⚖ 776 KB

Completeness and Cut-elimination in the

✍ DeMarco, M. 📂 Article 📅 2005 🏛 Oxford University Press 🌐 English ⚖ 272 KB

On the elimination of quantifier-free cu

✍ Daniel Weller 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 279 KB

Structure of proofs and the complexity o

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