Amor, J. A. A Structural Characterization of Extended Correctness-Completeness in Classical Logic. CRHF 2019, 35, 69-82.