✦ LIBER ✦

A Gentzen-Type Calculus of Sequents for Single-Operator Propositional Logic

✍ Scribed by Riser, John (author)

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Gentzen-Type Calculus of Sequents for

✍ Riser, John (author) 📂 Article 📅 1967 🏛 Cambridge University Press (CUP) 🌐 English ⚖ 563 KB

A Sequent Calculus for Propositional Dyn

✍ J. Sakalauskaitė 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 82 KB

A coding method for a sequent calculus o

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

A Sequent Calculus for Propositional Dyn

✍ J. Sakalauskaite 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 204 KB

A Contraction-free and Cut-free Sequent

✍ Brian Hill; Francesca Poggiolesi 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 326 KB

A Tree-Sequent Calculus for a Natural Pr

✍ Ishigaki, R.; Kikuchi, K. 📂 Article 📅 2007 🏛 Oxford University Press 🌐 English ⚖ 196 KB