Completeness of First-Order Bi-Intuitionistic Logic
Published in Computer Science Logic 2025, 2025
Recommended citation: Kirst, Dominik and Shillito, Ian. (2025). "Completeness of First-Order Bi-Intuitionistic Logic" Computer Science Logic 2025.
Download Paper