Several recent results bring into focus the superintuitionistic nature of most notions of proof-theoretic validity, but little work has been done evaluating the consequences of these results. Proof...

中文翻译：

---

证明论有效性不是直觉主义的;那又怎样？


最近的几个结果使大多数证明论有效性概念的超直觉性质成为焦点，但很少有工作来评估这些结果的后果。证明。。。