✦ LIBER ✦

Cut-Rule Axiomatization of the Syntactic Calculus NL0

✍ Scribed by Wojciech Zielonka

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut-Rule Axiomatization of the Syntactic

✍ Wojciech Zielonka 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 31 KB

Cut-Rule Axiomatization of Product-Free

✍ Wojciech Zielonka 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 452 KB

R-calculus without the cut rule

✍ Jie Luo; Wei Li 📂 Article 📅 2011 🏛 Science in China Press (SCP) 🌐 English ⚖ 196 KB

Syntactic cut-elimination for a fragment

✍ BrÃ¼nnler, Kai; Studer, Thomas 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 253 KB

Axiomatization of the Infinite-Valued Pr

✍ Louise Schmir Hay 📂 Article 📅 1963 🏛 Association for Symbolic Logic 🌐 English ⚖ 908 KB

Elimination of cut-type rules from the R

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