✦ LIBER ✦

A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic

✍ Scribed by Ishigaki, R.; Kikuchi, K.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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 Predicate Logical Extension of a Subin

✍ Ernst Zimmermann 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 1018 KB

A Gentzen-Type Calculus of Sequents for

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

A Gentzen-Type Calculus of Sequents for

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