论文标题
从证明理论的有效性到直觉命题逻辑的基础扩展语义
From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
论文作者
论文摘要
证明理论语义（P-TS）是基于“证明”（而不是“真实”）的逻辑中意义的方法。 P-TS有两种主要方法：证明理论有效性（P-TV）和基础扩展语义（B-ES）。前者是论证的语义，后者是逻辑常数的语义。本文表明，直觉命题逻辑（IPL）的B-E基于消除规则封装了P-TV版本的声明内容。这阐明了IPL的B-ES的工作原理，并显示了此版本的P-TV的完整性。
Proof-theoretic semantics (P-tS) is the approach to meaning in logic based on 'proof' (as opposed to 'truth'). There are two major approaches to P-tS: proof-theoretic validity (P-tV) and base-extension semantics (B-eS). The former is a semantics of arguments, and the latter is a semantics of logical constants. This paper demonstrates that the B-eS for intuitionistic propositional logic (IPL) encapsulates the declarative content of a version of P-tV based on the elimination rules. This explicates how the B-eS for IPL works, and shows the completeness of this version of P-tV.
