论文标题
遵循所有规则：广义证明理论有效性的直觉完整性
Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity
论文作者
论文摘要
Prawitz猜想，理论上有效的逻辑是直觉的逻辑。关于证明理论有效性的最新工作已经证明了这一点。实际上，已经表明，证明理论的有效性甚至没有在替代下关闭。在本文中，我们对Prawitz（1973）中发现的证明理论有效性的定义进行了少量修改，并由Schroeder-Heister（2006）进行了完善。我们将新的概念广义证明理论有效性称为，并表明广义证明理论有效性的逻辑是直觉的逻辑。
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 proof-theoretic validity is not even closed under substitution. In this paper, we make a minor modification to the definition of proof-theoretic validity found in Prawitz (1973) and refined by Schroeder-Heister (2006). We will call the new notion generalised proof-theoretic validity and show that the logic of generalised proof-theoretic validity is intuitionistic logic.
