𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Substructural Logics with Mingle

✍ Scribed by Norihiro Kamide

Book ID
110365107
Publisher
Springer Netherlands
Year
2002
Tongue
English
Weight
144 KB
Volume
11
Category
Article
ISSN
0925-8531

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 on display
Substructural logics on display
✍ Gore, R πŸ“‚ Article πŸ“… 1998 πŸ› Oxford University Press 🌐 English βš– 492 KB