Truth within Proof-Theoretic Semantics

Informazioni relative al progetto

Truth in PTS

ID dell’accordo di sovvenzione: 101024393

DOI

10.3030/101024393

Progetto concluso il 21 Agosto 2024

Data della firma CE 8 Aprile 2021

Data di avvio 1 Settembre 2022

Data di completamento 13 Gennaio 2025

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 212 933,76

Contributo UE

€ 212 933,76

Coordinato da

UNIVERSITY OF BRISTOL
United Kingdom

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (3)

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

Autori: Will Stafford, Victor Nascimento
Pubblicato in: Analysis, Numero 83, 2023, Pagina/e 507-516, ISSN 0003-2638
Editore: Oxford University Press
DOI: 10.1093/analys/anac100

On the difficulty of discovering mathematical proofs

Autori: Andrew Arana, Will Stafford
Pubblicato in: Synthese, Numero 202, 2023, ISSN 1573-0964
Editore: Springer
DOI: 10.1007/s11229-023-04184-5

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

Autori: Will Stafford
Pubblicato in: Australasian Journal of Philosophy, 2024, Pagina/e 1-17, ISSN 0004-8402
Editore: Australasian Association of Psychology and Philosophy
DOI: 10.1080/00048402.2024.2411395