View of A Structural Characterization of Extended Correctness-Completeness in Classical Logic

Return to Article Details A Structural Characterization of Extended Correctness-Completeness in Classical Logic Download Download PDF