Embedded Files
This is the site of the Marie Curie Fellowship Truth within Proof-Theoretic Semantics completed at the University of Bristol by fellow Will Stafford and mentor Kentaro Fujimoto.
Funding provided by: the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 101024393.
Publications:
Following all the rules: intuitionistic completeness for generalized proof-theoretic validity
2023 W Stafford, V Nascimento
Analysis 83 (3), 507-516
On the difficulty of discovering mathematical proofs
2023 A Arana, W Stafford
Synthese 202 (2), 38
Proof-Theoretic Validity isn’t Intuitionistic; So What?
2023 W Stafford
Australasian Journal of Philosophy, 1-17
Workshops:
Theory, Equivalence, and Interpretation in Logic, Mathematics, and Science
Theory, Equivalence, and Interpretation in Logic, Mathematics, and Science
Page updated
Google Sites
Report abuse