Truth within Proof-Theoretic Semantics

Informations projet

Truth in PTS

N° de convention de subvention: 101024393

DOI

10.3030/101024393

Projet clôturé le 21 Août 2024

Date de signature de la CE 8 Avril 2021

Date de début 1 Septembre 2022

Date de fin 13 Janvier 2025

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 212 933,76

Contribution de l’UE

€ 212 933,76

Coordonné par

UNIVERSITY OF BRISTOL
United Kingdom

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (3)

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

Auteurs: Will Stafford, Victor Nascimento
Publié dans: Analysis, Numéro 83, 2023, Page(s) 507-516, ISSN 0003-2638
Éditeur: Oxford University Press
DOI: 10.1093/analys/anac100

On the difficulty of discovering mathematical proofs

Auteurs: Andrew Arana, Will Stafford
Publié dans: Synthese, Numéro 202, 2023, ISSN 1573-0964
Éditeur: Springer
DOI: 10.1007/s11229-023-04184-5

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

Auteurs: Will Stafford
Publié dans: Australasian Journal of Philosophy, 2024, Page(s) 1-17, ISSN 0004-8402
Éditeur: Australasian Association of Psychology and Philosophy
DOI: 10.1080/00048402.2024.2411395