✦ LIBER ✦

A substructural logic for layered graphs

✍ Scribed by Collinson, Matthew (author);McDonald, Kevin (author);Pym, David (author)

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LO

✍ SUZUKI, TOMOYUKI 📂 Article 📅 2013 🏛 Cambridge University Press 🌐 English ⚖ 202 KB

A Useful Substructural Logic

✍ RESTALL, GREG 📂 Article 📅 1994 🏛 Oxford University Press 🌐 English ⚖ 634 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

Kripke Semantics for Modal Substructural

✍ Norihiro Kamide 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 123 KB