Cook and Reckhow's framework presupposes a classical notion of proof size; non-classical proof-theor...