Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

by Luís Pinto , Tarmo Uustalu
Citations:2 - 0 self