Gheorghiu, Alexander V;
Pym, David J;
(2025)
From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic.
Studia Logica
10.1007/s11225-024-10163-9.
(In press).
Preview |
Text
Pym_s11225-024-10163-9.pdf Download (617kB) | Preview |
Abstract
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.
| Type: | Article |
|---|---|
| Title: | From Proof-Theoretic Validity to Base-Extension Semantics for Intuitionistic Propositional Logic |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/s11225-024-10163-9 |
| Publisher version: | https://doi.org/10.1007/s11225-024-10163-9 |
| Language: | English |
| Additional information: | This work is licensed under a Creative Commons License. The images or other third-party material in this article are included in the Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/ |
| Keywords: | Science & Technology, Arts & Humanities, Physical Sciences, Mathematics, Logic, Philosophy, Science & Technology - Other Topics, Proof, Semantics, Proof-theoretic semantics, Intuitionistic logic |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10213119 |
Archive Staff Only
 |
View Item |
