A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic.

Ian Shillito, Dominik Kirst

Browse the full CPP paper archive.