Truth within Proof-Theoretic Semantics

Project Information

Truth in PTS

Grant agreement ID: 101024393

DOI

10.3030/101024393

Project terminated on 21 August 2024

EC signature date 8 April 2021

Start date 1 September 2022

End date 13 January 2025

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 212 933,76

EU contribution

€ 212 933,76

Coordinated by

UNIVERSITY OF BRISTOL
United Kingdom

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (3)

Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity

Author(s): Will Stafford, Victor Nascimento
Published in: Analysis, Issue 83, 2023, Page(s) 507-516, ISSN 0003-2638
Publisher: Oxford University Press
DOI: 10.1093/analys/anac100

On the difficulty of discovering mathematical proofs

Author(s): Andrew Arana, Will Stafford
Published in: Synthese, Issue 202, 2023, ISSN 1573-0964
Publisher: Springer
DOI: 10.1007/s11229-023-04184-5

Proof-Theoretic Validity isn’t Intuitionistic; So What?

Author(s): Will Stafford
Published in: Australasian Journal of Philosophy, 2024, Page(s) 1-17, ISSN 0004-8402
Publisher: Australasian Association of Psychology and Philosophy
DOI: 10.1080/00048402.2024.2411395