Truth within Proof-Theoretic Semantics

Información del proyecto

Truth in PTS

Identificador del acuerdo de subvención: 101024393

DOI

10.3030/101024393

Proyecto finalizado el 21 Agosto 2024

Fecha de la firma de la CE 8 Abril 2021

Fecha de inicio 1 Septiembre 2022

Fecha de finalización 13 Enero 2025

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 212 933,76

Aportación de la UE

€ 212 933,76

Coordinado por

UNIVERSITY OF BRISTOL
United Kingdom

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (3)

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

Autores: Will Stafford, Victor Nascimento
Publicado en: Analysis, Edición 83, 2023, Página(s) 507-516, ISSN 0003-2638
Editor: Oxford University Press
DOI: 10.1093/analys/anac100

On the difficulty of discovering mathematical proofs

Autores: Andrew Arana, Will Stafford
Publicado en: Synthese, Edición 202, 2023, ISSN 1573-0964
Editor: Springer
DOI: 10.1007/s11229-023-04184-5

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

Autores: Will Stafford
Publicado en: Australasian Journal of Philosophy, 2024, Página(s) 1-17, ISSN 0004-8402
Editor: Australasian Association of Psychology and Philosophy
DOI: 10.1080/00048402.2024.2411395