Cuts and cut-elimination for complementary classical logic
(Walter Carnielli, Gabriele Pulcini)

Published: 2017-10-19