Combining Derivations and Refutations for Cut-free Completeness in Bi-Intuitionistic Logic (2008)

by Rajeev Goré , Linda Postniece
Citations:7 - 0 self