A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic
Published in Conference on Certified Programs and Proofs 2024, 2024
Recommended citation: Shillito, Ian and Dominik Kirst. (2024). "A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic" CPP 2024.
Download Paper