A Quantum Interpretation of Bunched Logic for Quantum Separation Logic

Li Zhou, Gilles Barthe, Justin Hsu +2

We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states. In our model, the separating conjunction of BI descr…