| Publication | Date of Publication | Type |
|---|
| The logic for mathematics without ex falso quodlibet | 2024-10-31 | Paper |
| Frege's class theory and the logic of sets | 2024-10-01 | Paper |
| Which `intensional paradoxes' are paradoxes? | 2024-09-17 | Paper |
| WHAT IS A RULE OF INFERENCE? | 2024-03-16 | Paper |
| Core Gödel | 2023-05-31 | Paper |
| Does choice really imply excluded middle? 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? 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 II: Core Logic as Analytic, and as the Basis for Natural Logicism | 2015-04-17 | Paper |
| Logic, mathematics, and the \textit{a priori}. I: A problem for realism | 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 |
| Changes of mind. An essay on rational belief revision. | 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 |
| Negation, absurdity and contrariety | 2001-07-26 | Paper |
| Changing the Theory of Theory Change: Reply to My Critics | 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 |
| 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 |
| Natural deduction and sequent calculus for intuitionistic relevant logic | 1987-01-01 | Paper |
| Conventional Necessity and the Contingency of Convention | 1987-01-01 | Paper |
| Skolem's paradox and constructivism | 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 |
