The Consistency and Complexity of Multiplicative Additive System Virtual

• 主要作者: Horne, Ross
• 其他作者: School of Computer Engineering
• 格式: Article
• 語言: English
• 出版: 2016
• 主題: Proof theory; Deep inference; Non-commutative logic
• 在線閱讀: https://hdl.handle.net/10356/81581; http://hdl.handle.net/10220/40261
• 機構: Nanyang Technological University

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...