✦ LIBER ✦

Indexed systems of sequents and cut-elimination

✍ Scribed by Grigori Mints

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut Elimination in a Class of Sequent Ca

✍ Francisco Gutiérrez; Blas Ruiz 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 910 KB

Cut-Elimination and a Permutation-Free S

✍ Roy Dyckhoff; Luis Pinto 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 616 KB

Cut-Elimination and Quantification in Ca

✍ Anna Zamansky; Arnon Avron 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 310 KB

Dual Systems of Tableaux and Sequents fo

✍ Jose Gaintzarain; Montserrat Hermo; Paqui Lucio; Marisa Navarro; Fernando Orejas 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 806 KB

A cut-free sequent system for two-dimens

✍ Greg Restall 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 249 KB

Elimination of cut-type rules from the R

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