✦ LIBER ✦

A proper hierarchy of propositional sequent calculi

✍ Scribed by Noriko H. Arai

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A hierarchy of propositional Horn formul

✍ Bogdan S. Chlebus 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 926 KB

A coding method for a sequent calculus o

✍ R. Alonderis 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 219 KB

On a Method of Axiomatization of Some Pr

✍ Zdzislaw Dywan 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 210 KB 👁 1 views

A survey of deduction theorems for the p

✍ W. A. Pogorzelski 📂 Article 📅 1964 🏛 Springer Netherlands 🌐 English ⚖ 22 KB

A Note on the Existence of Tautologies i

✍ Alan Rose 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 140 KB 👁 1 views

Cut Elimination in a Class of Sequent Ca

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