Author:Revantha Ramanayake

Keyphrases

BBI, branching vector addition systems, bunched calculi, computational complexity, cut elimination, distributive substructural logics, Dunn-Mints calculi, hypersequents, infinite-state systems, logic of bunched implications, modal logic, multiplicative substructural logic, reachability, separation logic, structural rules.