@misc{indiciae5da2c3d21b60, title = {Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity}, author = {Will Stafford and Victor Nascimento}, year = {2022}, url = {https://arxiv.org/abs/2211.12563}, note = {Source identifier: 2211.12563} }