Output details
11 - Computer Science and Informatics
University College London
Return to search
Output 0 of 0 in the submission
Article title
Classical BI: Its semantics and proof theory
Type
D - Journal article
Title of journal
Logical Methods in Computer Science
Article number
-
Volume number
6
Issue number
3
First page of article
1
ISSN of journal
1860-5974
Year of publication
2010
URL
-
Number of additional authors
1
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-