Author:Revantha Ramanayake

Keyphrases

BBI, bunched calculi, cut elimination, distributive substructural logics, Dunn-Mints calculi, hypersequents, logic of bunched implications, separation logic, structural rules.