𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Substructural logics on display

✍ Scribed by Gore, R

Book ID
118160314
Publisher
Oxford University Press
Year
1998
Tongue
English
Weight
492 KB
Volume
6
Category
Article
ISSN
1367-0751

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