Vol. 15 No. 6 (2015)

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

Published: 2017-10-19