Amor, J. A. (2019). A Structural Characterization of Extended Correctness-Completeness in Classical Logic. Crítica. Revista Hispanoamericana De Filosofía, 35(103), 69–82. https://doi.org/10.22201/iifs.18704905e.2003.1006