✦ LIBER ✦

A coding method for a sequent calculus of propositional logic

✍ Scribed by R. Alonderis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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 Sequent Calculus for a Negative Free L

✍ Norbert Gratzl 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 273 KB

M-calculus — a sequent method for automa

✍ A. V. Mantsivoda 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 496 KB

A sequent calculus for logic of knowledg

✍ J. Sakalauskaitė 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 110 KB

A stipulation of logical truth in a moda

✍ Charles E. Caton 📂 Article 📅 1962 🏛 Springer Netherlands 🌐 English ⚖ 204 KB