Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

Luís Pinto, Tarmo Uustalu

Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem…