Proof Nets for Classical Logic

Stefano Guerrini, Andrea Masini. Proof Nets for Classical Logic. Notre Dame Journal of Formal Logic, 62(2), 2021. [doi]

Abstract

Abstract is missing.