✦ LIBER ✦

A Useful Substructural Logic

✍ Scribed by RESTALL, GREG

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LO

✍ SUZUKI, TOMOYUKI 📂 Article 📅 2013 🏛 Cambridge University Press 🌐 English ⚖ 202 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

Substructural logics

✍ Heinrich Wansing 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 204 KB

Constructive Logic with Strong Negation

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

Constructive Logic with Strong Negation

✍ M. Spinks; R. Veroff 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 358 KB