Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

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