✦ LIBER ✦

R-calculus without the cut rule

✍ Scribed by Jie Luo; Wei Li

Book ID: 107360043
Publisher: Science in China Press (SCP)
Year: 2011
Tongue: English
Weight: 196 KB
Volume: 54
Category: Article
ISSN: 1674-733X
DOI: 10.1007/s11432-011-4492-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut-Rule Axiomatization of the Syntactic

Cut-Rule Axiomatization of the Syntactic Calculus L0

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

Cut-Rule Axiomatization of the Syntactic

Cut-Rule Axiomatization of the Syntactic Calculus NL0

✍ Wojciech Zielonka 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 75 KB

Cut elimination for a calculus with cont

Cut elimination for a calculus with context-dependent rules

✍ Birgit Elbl 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 157 KB

Cut-Rule Axiomatization of Product-Free

Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String

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

Cut Elimination in a Gentzen-Style ϵ-Cal

Cut Elimination in a Gentzen-Style ϵ-Calculus Without Identity

✍ Linda Wessels 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 725 KB

The elegance and simplicity with which sequent calculi can be used to establish important and profound theorems for formal systems is well known. But until recently little use has been made of the powerful GENTZEN approach to explore the properties of HILBERT'S &-calculus. The recent investigations

Invertible infinitary calculus without l

Invertible infinitary calculus without loop rules for restricted FTL

✍ R. Pliuškevičius 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 328 KB