A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.

Zhe Hou, Alwen Tiu, Rajeev Gor

Browse the full TABLEAUX paper archive.