Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
Published in Computer Science Logic 2025, 2025
Recommended citation: Lyon, Tim, Shillito, Ian and Tiu, Alwen. (2025). "Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents" Computer Science Logic 2025.
Download Paper