An Algebraic Glimpse at Bunched Implications and Separation Logic

Peter Jipsen, Tadeusz Litak

We overview the logic of Bunched Implications (BI) and Separation Logic (SL) from a perspective inspired by Hiroakira Ono's algebraic approach to substructural logics. We propose g…