Will Stafford
From MaRDI portal
Person:2240551
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On the difficulty of discovering mathematical proofs Synthese | 2026-03-31 | Paper |
| Following all the rules: intuitionistic completeness for generalized proof-theoretic validity Analysis | 2026-03-26 | Paper |
| Review of: T. Piecha and P. Schroeder-Heister, Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics, A. V. Gheorghiu et al., Proof-theoretic semantics for intuitionistic multiplicative linear logic and H. Oliveira The Bulletin of Symbolic Logic | 2025-01-24 | Paper |
| Decidability in proof-theoretic validity | 2024-11-20 | Paper |
| THE POTENTIAL IN FREGE’S THEOREM The Review of Symbolic Logic | 2023-05-26 | Paper |
| Prawitz's Conjecture is False; So What? | 2023-05-16 | Paper |
| Prawitz's Conjecture is False; So What? (available as arXiv preprint) | 2023-01-01 | Paper |
| Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity | 2022-11-22 | Paper |
| Proof-theoretic semantics and inquisitive logic Journal of Philosophical Logic | 2021-11-04 | Paper |
Research outcomes over time
This page was built for person: Will Stafford
