✦ LIBER ✦

A Sequent Calculus for a Negative Free Logic

✍ Scribed by Norbert Gratzl

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Contraction-free and Cut-free Sequent

✍ Brian Hill; Francesca Poggiolesi 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 326 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 sequent calculus for logic of knowledg

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

A simple sequent calculus for partial fu

✍ Morten Elvang-Gøransson; Olaf Owe 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 871 KB

Sequent calculi for propositional star-f

✍ R. Alonderis 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 131 KB