Stafford, Will;
Nascimento, Victor;
(2023)
Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity.
Analysis
, 83
(3)
pp. 507-516.
10.1093/analys/anac100.
Preview |
PDF
anac100.pdf - Published Version Download (981kB) | Preview |
Abstract
Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on proof-theoretic validity has disproven this. In fact, it has been shown that proof-theoretic validity is not even closed under substitution. In this paper, we make a minor modification to the definition of proof-theoretic validity found in Prawitz’s 1973paper ‘Towards a foundation of a general proof theory’ and refined by Schroeder-Heister in ‘Validity concepts in proof-theoretic semantics’ (2006). We will call the new notion generalized proof-theoretic validity and show that the logic of generalized proof-theoretic validity is intuitionistic logic.
| Type: | Article |
|---|---|
| Title: | Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1093/analys/anac100 |
| Publisher version: | https://doi.org/10.1093/analys/anac100 |
| Language: | English |
| Additional information: | © The Author(s) 2023. Published by Oxford University Press on behalf of The Analysis Trust. This is an Open Access article distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivs licence (https://creativecommons.org/licenses/by-nc-nd/4.0/), which permits non-commercial reproduction and distribution of the work, in any medium, provided the original work is not altered or transformed in any way, and that the work is properly cited. For commercial re-use, please contact journals.permissions@oup.com |
| 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/10216290 |
Archive Staff Only
 |
View Item |
