Proof-theoretic validity, as developed by Prawitz and Dummett, is defined via validity of proofs in ...