Output details

Classical BI: Its semantics and proof theory

<11>Resource management is a central problem in computing, economics and other disciplines. This paper introduces a novel approach to reasoning about resources which have a rich structure that includes an operator for dualising a resource: a typical example is a debit as the dual of a credit. This gives new possibilities for logic-based resource reasoning for a richer class of resources, extending the previously successful approach of spatial and separation logics. Technically, the paper resolved difficult fundamental questions on how to add dualisation to these logics without engendering collapse.