Truth within Proof-Theoretic Semantics

Projektinformationen

Truth in PTS

ID Finanzhilfevereinbarung: 101024393

DOI

10.3030/101024393

Das Projekt endete am 21 August 2024

EK-Unterschriftsdatum 8 April 2021

Startdatum 1 September 2022

Enddatum 13 Januar 2025

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 212 933,76

EU-Beitrag

€ 212 933,76

Koordiniert durch

UNIVERSITY OF BRISTOL
United Kingdom

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (3)

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

Autoren: Will Stafford, Victor Nascimento
Veröffentlicht in: Analysis, Ausgabe 83, 2023, Seite(n) 507-516, ISSN 0003-2638
Herausgeber: Oxford University Press
DOI: 10.1093/analys/anac100

On the difficulty of discovering mathematical proofs

Autoren: Andrew Arana, Will Stafford
Veröffentlicht in: Synthese, Ausgabe 202, 2023, ISSN 1573-0964
Herausgeber: Springer
DOI: 10.1007/s11229-023-04184-5

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

Autoren: Will Stafford
Veröffentlicht in: Australasian Journal of Philosophy, 2024, Seite(n) 1-17, ISSN 0004-8402
Herausgeber: Australasian Association of Psychology and Philosophy
DOI: 10.1080/00048402.2024.2411395