Complementary Proof Nets for Classical Logic

Gabriele Pulcini, Achille C. Varzi. Complementary Proof Nets for Classical Logic. Logica Universalis, 17(4):411-432, December 2023. [doi]

Abstract

Abstract is missing.