The authors explore the relationship between proof-theoretic validity (P-tV) and base-extension semantics (B-eS) in intuitionistic propositional logic (IPL), demonstrating how B-eS encapsulates the declarative content of a basic version of P-tV. They diverge from previous approaches by considering the constructive, hypothetical setup of P-tV.
B-eS for IPL encapsulates P-tV content.