𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Substructural logics

✍ Scribed by Heinrich Wansing

Book ID
104672142
Publisher
Springer
Year
1996
Tongue
English
Weight
204 KB
Volume
45
Category
Article
ISSN
1876-2514

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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