Will Stafford

From MaRDI portal
Person:2240551

Available identifiers

zbMath Open stafford.willMaRDI QIDQ2240551

List of research outcomes





PublicationDate of PublicationType
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, On Dummett's pragmatist justification procedure2025-01-24Paper
Decidability in proof-theoretic validity2024-11-20Paper
THE POTENTIAL IN FREGE’S THEOREM2023-05-26Paper
Prawitz's Conjecture is False; So What?2023-05-16Paper
Following all the rules: Intuitionistic completeness for generalised proof-theoretic validity2022-11-22Paper
Proof-theoretic semantics and inquisitive logic2021-11-04Paper

Research outcomes over time

This page was built for person: Will Stafford

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2240551&oldid=6879706"
Powered by MediaWiki