Bunched Hypersequent Calculi for Distributive Substructural Logics.

Agata Ciabattoni, Revantha Ramanayake

Browse the full LPAR paper archive.