Synthesized substructural logics

✍ Scribed by Norihiro Kamide

• Book ID: 102485079
• Publisher: John Wiley and Sons
• Year: 2007
• Tongue: English
• Weight: 112 KB
• Volume: 53
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200610036

✦ Synopsis

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. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)