| Publication | Date of Publication | Type |
|---|
Constructive arithmetical impossibilities and their relation to paradoxes
The Review of Symbolic Logic | 2026-01-16 | Paper |
Perfect proofs at first order
Journal of Logic and Computation | 2025-10-29 | Paper |
| Morphing rules of evaluation into rules of deduction: preserving relevance and epistemic gain | 2025-08-13 | Paper |
Core Tarski and Core McGee
Notre Dame Journal of Formal Logic | 2025-06-11 | Paper |
The Berry paradox
Journal of Philosophical Logic | 2025-05-07 | Paper |
The logic for mathematics without ex falso quodlibet
Philosophia Mathematica. Series III | 2024-10-31 | Paper |
| Frege's class theory and the logic of sets | 2024-10-01 | Paper |
Which `intensional paradoxes' are paradoxes?
Journal of Philosophical Logic | 2024-09-17 | Paper |
WHAT IS A RULE OF INFERENCE?
The Review of Symbolic Logic | 2024-03-16 | Paper |
Core Gödel
Notre Dame Journal of Formal Logic | 2023-05-31 | Paper |
Does choice really imply excluded middle? II: Historical, philosophical, and foundational reflections on the Goodman-Myhill result
Philosophia Mathematica | 2022-04-04 | Paper |
| The logic of number | 2022-03-25 | Paper |
Transmission of verification
The Review of Symbolic Logic | 2022-02-07 | Paper |
Does choice really imply excluded middle? I: Regimentation of the Goodman-Myhill result, and its immediate reception
Philosophia Mathematica | 2021-02-09 | Paper |
Inferentialism, Logicism, Harmony, and a Counterpoint
Logic, Language, and Mathematics | 2020-12-02 | Paper |
GP's LP
Outstanding Contributions to Logic | 2020-08-10 | Paper |
On Gentzen's structural completeness proof
Dag Prawitz on Proofs and Meaning | 2020-02-04 | Paper |
On Tarski's axiomatization of mereology
Studia Logica | 2019-12-11 | Paper |
On some mistaken beliefs about core logic and some mistaken core beliefs about logic
Notre Dame Journal of Formal Logic | 2018-12-21 | Paper |
Core Logic
Oxford Scholarship Online | 2017-10-09 | Paper |
On the necessary existence of numbers
Nôus | 2017-07-14 | Paper |
Rule-irredundancy and the sequent calculus for core logic
Notre Dame Journal of Formal Logic | 2016-03-04 | Paper |
| scientific article; zbMATH DE number 6536265 (Why is no real title available?) | 2016-01-27 | Paper |
The relevance of premises to conclusions of core proofs
The Review of Symbolic Logic | 2015-12-30 | Paper |
A new unified account of truth and paradox
Mind | 2015-07-30 | Paper |
Cut for classical core logic
The Review of Symbolic Logic | 2015-06-29 | Paper |
Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism
Philosophia Mathematica | 2015-04-17 | Paper |
Logic, mathematics, and the \textit{a priori}. I: A problem for realism
Philosophia Mathematica | 2015-04-17 | Paper |
Aristotle's Syllogistic and Core Logic
History and Philosophy of Logic | 2015-03-25 | Paper |
Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology
Synthese | 2014-03-31 | Paper |
| Changes of mind. An essay on rational belief revision. | 2012-12-13 | Paper |
Harmony in a sequent setting
Analysis | 2012-11-09 | Paper |
Cut for core logic
The Review of Symbolic Logic | 2012-10-23 | Paper |
The logical structure of scientific explanation and prediction: planetary orbits in a sun's gravitational field
Studia Logica | 2010-12-01 | Paper |
Williamson's woes
Synthese | 2010-08-13 | Paper |
Belief-revision, the Ramsey test, monotonicity, and the so-called impossibility results
The Review of Symbolic Logic | 2010-08-13 | Paper |
Natural Logicism via the Logic of Orderly Pairing
Synthese Library | 2009-03-12 | Paper |
Carnap, Godel, and the Analyticity of Arithmetic
Philosophia Mathematica | 2008-06-20 | Paper |
New foundations for a relational theory of theory-revision
Journal of Philosophical Logic | 2006-08-14 | Paper |
On the degeneracy of the full <i>AGM</i>-theory of theory-revision
Journal of Symbolic Logic | 2006-08-03 | Paper |
| A note on the irrelevance of probabilistic irrelevance | 2006-06-26 | Paper |
Contracting intuitionistic theories
Studia Logica | 2006-01-30 | Paper |
| scientific article; zbMATH DE number 2150349 (Why is no real title available?) | 2005-03-30 | Paper |
Theory-Contraction is NP-Complete
Logic Journal of the IGPL | 2004-05-27 | Paper |
Game theory and conventiont
Nordic Journal of Philosophical Logic | 2003-10-13 | Paper |
Frege's content-principle and relevant deducibility
Journal of Philosophical Logic | 2003-08-21 | Paper |
| Victor vanquished | 2003-06-19 | Paper |
On Turing machines knowing their own Gödel-sentences
Philosophia Mathematica. Series III | 2002-10-07 | Paper |
Ultimate Normal Forms for Parallelized Natural Deductions
Logic Journal of the IGPL | 2002-09-18 | Paper |
| Negation, absurdity and contrariety | 2001-07-26 | Paper |
Changing the Theory of Theory Change: Reply to My Critics
The British Journal for the Philosophy of Science | 2000-11-19 | Paper |
| On Paradox without Self-Reference | 2000-08-22 | Paper |
| On Maintaining Concentration | 2000-08-22 | Paper |
| The Full Price of Truth | 2000-08-22 | Paper |
| On Negation, Truth and Warranted Assertibility | 2000-08-22 | Paper |
| scientific article; zbMATH DE number 1281125 (Why is no real title available?) | 1999-04-28 | Paper |
| scientific article; zbMATH DE number 1222496 (Why is no real title available?) | 1999-03-02 | Paper |
On having bad contractions, or: no room for recovery
Journal of Applied Non-Classical Logics | 1997-09-14 | Paper |
Paradoxes of pure curiosity
Theory and Decision | 1996-07-04 | Paper |
| scientific article; zbMATH DE number 753773 (Why is no real title available?) | 1995-09-11 | Paper |
Changing the Theory of Theory Change: Towards a Computational Approach
The British Journal for the Philosophy of Science | 1994-11-09 | Paper |
| scientific article; zbMATH DE number 50995 (Why is no real title available?) | 1992-09-18 | Paper |
Truth table logic, with a survey of embeddability results
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
Natural deduction and sequent calculus for intuitionistic relevant logic
Journal of Symbolic Logic | 1987-01-01 | Paper |
Conventional Necessity and the Contingency of Convention
Dialectica | 1987-01-01 | Paper |
Skolem's paradox and constructivism
Journal of Philosophical Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4016861 (Why is no real title available?) | 1986-01-01 | Paper |
MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE
The British Journal for the Philosophy of Science | 1985-01-01 | Paper |
Perfect validity, entailment and paraconsistency
Studia Logica | 1984-01-01 | Paper |
Proof and Paradox
Dialectica | 1982-01-01 | Paper |
A proof-theoretic approach to entailment
Journal of Philosophical Logic | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3691311 (Why is no real title available?) | 1979-01-01 | Paper |
Language games and intuitionism
Synthese | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3758289 (Why is no real title available?) | 1978-01-01 | Paper |
Continuity and identity
Journal of Philosophical Logic | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3532914 (Why is no real title available?) | 1975-01-01 | Paper |
