✦ LIBER ✦

Finite Models of Some Substructural Logics

✍ Scribed by Wojciech Buszkowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finite axiomatization for some intermedi

✍ I. Janioka-Żuk 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 429 KB

Some models of combinatory logic

✍ D. Skordev 📂 Article 📅 1976 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 172 KB

Some lattice models of bilinear logic

✍ J. Lambek 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 400 KB

Union of logics modeled by finite trees

✍ Ya. M. Drugush 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 654 KB

Constrained generic substructure transfo

✍ M.J. Terrell; M.I. Friswell; N.A.J. Lieven 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 253 KB

Recursive substructuring of finite eleme

✍ J. Jønsson; S. Krenk; L. Damkilde 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 895 KB