The Consistency and Complexity of Multiplicative Additive System Virtual

• المؤلف الرئيسي: Horne, Ross
• مؤلفون آخرون: School of Computer Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2016
• الموضوعات: Proof theory; Deep inference; Non-commutative logic
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/81581; http://hdl.handle.net/10220/40261

This paper investigates the proof theory of multiplicative additive system virtual (MAV). MAV combines two established proof calculi: multiplicative additive linear logic (MALL) and basic system virtual (BV). Due to the presence of the self-dual non-commutative operator from BV, the calculus MAV is...