Robuta

https://www.cle.unicamp.br/cle/pt-br/cuts-and-cut-elimination-complementary-classical-logic?language_content_entity=en Cuts and cut-elimination for complementary classical logic | www.cle.unicamp.br cut elimination classical logic cuts complementary www https://repositum.tuwien.at/handle/20.500.12708/116098 reposiTUm: Fast cut-elimination fast cut repositum elimination