✦ LIBER ✦

Non-commutative logic III: focusing proofs

✍ Scribed by Roberto Maieli; Paul Ruet

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Dynamic Non-Commutative Logic

✍ Norihiro Kamide 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 216 KB

Non-commutative Łukasiewicz propositiona

✍ Ioana Leuştean 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 219 KB

Non-commutative intuitionistic linear lo

✍ V. Michele Abrusci 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 945 KB

Non-Commutative Linear Logic in Linguist

✍ Claudia Casadio 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 483 KB

Observations on non-commutative fuzzy lo

✍ P. Hájek 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 267 KB

A New Correctness Criterion for the Proo

✍ Misao Nagayama and Mitsuhiro Okada 📂 Article 📅 2001 🏛 Association for Symbolic Logic 🌐 English ⚖ 826 KB