Classical linear logics with mix separation principle

✍ Scribed by Norihiro Kamide

• Book ID: 102487934
• Publisher: John Wiley and Sons
• Year: 2003
• Tongue: English
• Weight: 142 KB
• Volume: 49
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200310019

✦ Synopsis

Abstract

Variants of classical linear logics are presented based on the modal version of new structural rule !?mingle instead of the known rules !weakening and ?weakening. The cut‐elimination theorems, the completeness theorems (with respect to Girard's phase models) and a characteristic property named the mix separation principle are proved for these logics.