A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Date
Authors
Hou, Zhe
Tiu, Alwen
Gore, Rajeev
Journal Title
Journal ISSN
Volume Title
Publisher
Springer-Verlag Berlin Heidelberg
Abstract
We present a labelled sequent calculus for Boolean BI (BBI), a classical variant of the logic of Bunched Implication. The calculus is simple, sound, complete, and enjoys cut-elimination. We show that all the structural rules in the calculus, i.e., those r
Description
Citation
Collections
Source
TABLEAUX 2013, International Conference on Theorem Proving with Analytic Tableaux and Related Systems
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description