Amor JA. A Structural Characterization of Extended Correctness-Completeness in Classical Logic. CRHF [Internet]. 2019 Jan. 8 [cited 2024 May 18];35(103):69-82. Available from: https://critica.filosoficas.unam.mx/index.php/critica/article/view/1006