Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents.

Tim S. Lyon, Ian Shillito, Alwen Tiu

Browse the full CSL paper archive.