| Publication | Date of Publication | Type |
|---|
| WHAT IS A RULE OF INFERENCE? | 2024-03-16 | Paper |
| Core Gödel | 2023-05-31 | Paper |
| Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result† | 2022-04-04 | Paper |
| The Logic of Number | 2022-03-25 | Paper |
| TRANSMISSION OF VERIFICATION | 2022-02-07 | Paper |
| Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception† | 2021-02-09 | Paper |
| Inferentialism, Logicism, Harmony, and a Counterpoint | 2020-12-02 | Paper |
| GP’s LP | 2020-08-10 | Paper |
| On Gentzen’s Structural Completeness Proof | 2020-02-04 | Paper |
| On Tarski's axiomatization of mereology | 2019-12-11 | Paper |
| On some mistaken beliefs about core logic and some mistaken core beliefs about logic | 2018-12-21 | Paper |
| Core Logic | 2017-10-09 | Paper |
| On the Necessary Existence of Numbers | 2017-07-14 | Paper |
| Rule-irredundancy and the sequent calculus for core logic | 2016-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464614 | 2016-01-27 | Paper |
| THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS | 2015-12-30 | Paper |
| A New Unified Account of Truth and Paradox | 2015-07-30 | Paper |
| CUT FOR CLASSICAL CORE LOGIC | 2015-06-29 | Paper |
| Logic, Mathematics, and the A Priori, Part I: A Problem for Realism | 2015-04-17 | Paper |
| Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism | 2015-04-17 | Paper |
| Aristotle's Syllogistic and Core Logic | 2015-03-25 | Paper |
| Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology | 2014-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3144949 | 2012-12-13 | Paper |
| Harmony in a sequent setting | 2012-11-09 | Paper |
| CUT FOR CORE LOGIC | 2012-10-23 | Paper |
| The logical structure of scientific explanation and prediction: planetary orbits in a sun's gravitational field | 2010-12-01 | Paper |
| Williamson's woes | 2010-08-13 | Paper |
| BELIEF-REVISION, THE RAMSEY TEST, MONOTONICITY, AND THE SO-CALLED IMPOSSIBILITY RESULTS | 2010-08-13 | Paper |
| Natural Logicism via the Logic of Orderly Pairing | 2009-03-12 | Paper |
| Carnap, Godel, and the Analyticity of Arithmetic | 2008-06-20 | Paper |
| New foundations for a relational theory of theory-revision | 2006-08-14 | Paper |
| On the degeneracy of the full AGM-theory of theory-revision | 2006-08-03 | Paper |
| A note on the irrelevance of probabilistic irrelevance | 2006-06-26 | Paper |
| Contracting intuitionistic theories | 2006-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4662899 | 2005-03-30 | Paper |
| Theory-Contraction is NP-Complete | 2004-05-27 | Paper |
| Game theory and conventiont | 2003-10-13 | Paper |
| Frege's content-principle and relevant deducibility | 2003-08-21 | Paper |
| Victor vanquished | 2003-06-19 | Paper |
| On Turing Machines Knowing Their Own Gödel-Sentences† | 2002-10-07 | Paper |
| Ultimate Normal Forms for Parallelized Natural Deductions | 2002-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2715524 | 2001-07-26 | Paper |
| Changing the Theory of Theory Change: Reply to My Critics | 2000-11-19 | Paper |
| On Maintaining Concentration | 2000-08-22 | Paper |
| On Paradox without Self-Reference | 2000-08-22 | Paper |
| The Full Price of Truth | 2000-08-22 | Paper |
| On Negation, Truth and Warranted Assertibility | 2000-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4239945 | 1999-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218027 | 1999-03-02 | Paper |
| On having bad contractions, or: no room for recovery | 1997-09-14 | Paper |
| Paradoxes of pure curiosity | 1996-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698606 | 1995-09-11 | Paper |
| Changing the Theory of Theory Change: Towards a Computational Approach | 1994-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4001401 | 1992-09-18 | Paper |
| Truth table logic, with a survey of embeddability results | 1989-01-01 | Paper |
| Skolem's paradox and constructivism | 1987-01-01 | Paper |
| Conventional Necessity and the Contingency of Convention | 1987-01-01 | Paper |
| Natural deduction and sequent calculus for intuitionistic relevant logic | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028974 | 1986-01-01 | Paper |
| MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE | 1985-01-01 | Paper |
| Perfect validity, entailment and paraconsistency | 1984-01-01 | Paper |
| Proof and Paradox | 1982-01-01 | Paper |
| A proof-theoretic approach to entailment | 1980-01-01 | Paper |
| Language games and intuitionism | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3885746 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941377 | 1978-01-01 | Paper |
| Continuity and identity | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109642 | 1975-01-01 | Paper |
