𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Metacompleteness of Substructural Logics

✍ Scribed by Takahiro Seki

Book ID
118810709
Publisher
Springer Netherlands
Year
2012
Tongue
English
Weight
243 KB
Volume
100
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Substructural logics
Substructural logics
✍ Heinrich Wansing πŸ“‚ Article πŸ“… 1996 πŸ› Springer 🌐 English βš– 204 KB
Synthesized substructural logics
Synthesized substructural logics
✍ Norihiro Kamide πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 112 KB

## Abstract A mechanism for combining any two substructural logics (e.g. linear and intuitionistic logics) is studied from a proof‐theoretic point of view. The main results presented are cut‐elimination and simulation results for these combined logics called synthesized substructural logics. (Β© 200

Substructural Logics with Mingle
Substructural Logics with Mingle
✍ Norihiro Kamide πŸ“‚ Article πŸ“… 2002 πŸ› Springer Netherlands 🌐 English βš– 144 KB
Substructural logics on display
Substructural logics on display
✍ Gore, R πŸ“‚ Article πŸ“… 1998 πŸ› Oxford University Press 🌐 English βš– 492 KB