✦ LIBER ✦

On cut elimination in the presence of perice rule

✍ Scribed by Gordeev, L.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Elimination of cut-type rules from the R

✍ A. Yu. Plyushkevichene 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 562 KB

On the elimination of quantifier-free cu

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

Elimination of the inelastic cut in theN

✍ M. Froissart 📂 Article 📅 1961 🏛 Società Italiana di Fisica ⚖ 71 KB

Upper bound on the lengthening of proofs

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

The effect of a sum rule on the ρ’ and a

✍ J. Beaupre; L. Sertorio 📂 Article 📅 1967 🏛 Springer-Verlag ⚖ 313 KB

Completeness and Cut-elimination in the

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