Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity

Will Stafford, Victor Nascimento

Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that pr…