Title: A labelled sequent calculus for BBI: proof theory and proof search
Abstract: Journal Article A labelled sequent calculus for BBI: proof theory and proof search Get access Zhé Hóu, Zhé Hóu Research School of Computer Science, The Australian National University, Canberra, Australia E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Rajeev Goré, Rajeev Goré Research School of Computer Science, The Australian National University, Canberra, Australia Search for other works by this author on: Oxford Academic Google Scholar Alwen Tiu Alwen Tiu School of Computer Engineering, Nanyang Technological University, Singapore Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 28, Issue 4, June 2018, Pages 809–872, https://doi.org/10.1093/logcom/exv033 Published: 09 June 2015 Article history Received: 31 March 2014 Published: 09 June 2015