Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus
Logic in Computer Science
2016-07-15 v1
Abstract
Development of a contraction-free BI sequent calculus, be it in the sense of G3i or G4i, has not been successful in literature. We address the open problem by presenting such a sequent system. In fact our calculus involves no structural rules.
Cite
@article{arxiv.1404.6037,
title = {Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus},
author = {Ryuta Arisaka},
journal= {arXiv preprint arXiv:1404.6037},
year = {2016}
}