A labelled sequent calculus for BBI : proof theory and proof search

بواسطة Hóu, Zhé, Goré, Rajeev, Tiu, Alwen
منشور في 2020