A cut-free sequent calculus for bi-intuitionistic logic: extended version (2007)

by Linda Buisman , Rajeev Goré
Citations:5 - 1 self