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-theor\-etic 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 basic version of P-tV. Such relationships have been considered before yielding incompleteness results. This paper diverges from these approaches by accounting for the constructive, hypothetical setup of P-tV. It explicates how the B-eS for IPL works.

翻译：证明论语义学（P-tS）是基于证明（而非真值）的逻辑意义研究方法。该领域存在两大主要路径：证明论有效性（P-tV）与基扩展语义学（B-eS）。前者是论证语义学，后者是逻辑常项语义学。本文证明，直觉主义命题逻辑（IPL）的B-eS蕴含着基本版本P-tV的陈述性内容。此类关系此前曾被探讨，但导致了不完备性结果。本文通过考虑P-tV的构造性假设性框架，与既有研究方法形成差异，并阐明了IPL的B-eS运作机理。