A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.

Linda Buisman, Rajeev Gor

Browse the full TABLEAUX paper archive.