# From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic

arXiv: https://arxiv.org/abs/2210.05344 · HTML: https://mlsanity.com/paper/2210.05344/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 11 Oct 2022.

## Built on by (most cited first, 1 of 1)

- [Towards an Inferentialist Account of Information Through Proof-theoretic Semantics](https://mlsanity.com/paper/2605.05368/) (2026)

## Abstract (arXiv)

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.