Follow
Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity. (arXiv:2211.12563v1 [math.LO]) http://arxiv.org/abs/2211.12563
Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity. (arXiv:2211.12563v1 [math.LO]) http://arxiv.org/abs/2211.12563