Amor, J. A. “A Structural Characterization of Extended Correctness-Completeness in Classical Logic”. Crítica. Revista Hispanoamericana De Filosofía, vol. 35, no. 103, Jan. 2019, pp. 69-82, doi:10.22201/iifs.18704905e.2003.1006.