✦ LIBER ✦

A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC

✍ Scribed by SUZUKI, TOMOYUKI

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Sahlqvist theorem for modal fixed point

✍ Nick Bezhanishvili; Ian Hodkinson 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 343 KB

A substructural logic for layered graphs

✍ Collinson, Matthew (author);McDonald, Kevin (author);Pym, David (author) 📂 Article 📅 2014 🏛 Oxford University Press 🌐 English ⚖ 864 KB

A substructural logic for layered graphs

✍ Collinson, Matthew (author);McDonald, Kevin (author);Pym, David (author) 📂 Article 📅 2014 🏛 Oxford University Press 🌐 English ⚖ 864 KB

A Useful Substructural Logic

✍ RESTALL, GREG 📂 Article 📅 1994 🏛 Oxford University Press 🌐 English ⚖ 634 KB

Glivenko theorems and negative translati

✍ Farahani, Hadi; Ono, Hiroakira 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 24 KB

Constructive Logic with Strong Negation

✍ Matthew Spinks; Robert Veroff 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 254 KB