| Publication | Date of Publication | Type |
|---|
| Structural Rules in Natural Deduction with Alternatives | 2024-02-29 | Paper |
| COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS | 2024-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5871896 | 2023-01-25 | Paper |
| Geometric Models for Relevant Logics | 2022-02-04 | Paper |
| Proofs and Models in Philosophical Logic | 2022-01-12 | Paper |
| Truth-tellers in Bradwardine's theory of truth | 2020-11-10 | Paper |
| Two negations are more than one | 2020-08-10 | Paper |
| Negation on the Australian plan | 2020-02-14 | Paper |
| GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC | 2019-06-07 | Paper |
| First degree entailment, symmetry and paradox | 2018-09-20 | Paper |
| Fixed-point models for theories of properties and classes | 2018-05-14 | Paper |
| Logical pluralism | 2017-11-22 | Paper |
| Models for substructural arithmetics | 2016-02-01 | Paper |
| Normal proofs, cut free derivations and structural rules | 2015-02-27 | Paper |
| Pluralism and proofs | 2015-01-26 | Paper |
| Bradwardine hypersequents | 2015-01-22 | Paper |
| Assertion, Denial and Non-classical Theories | 2013-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4648954 | 2012-11-16 | Paper |
| On \(t\) and \(u\), and what they can do | 2012-11-09 | Paper |
| A cut-free sequent system for two-dimensional modal logic, and why it matters | 2012-09-26 | Paper |
| On the ternary relation and conditionality | 2012-09-20 | Paper |
| Anti-realist classical logic and realist mathematics | 2012-08-29 | Paper |
| Relevant agents | 2012-08-05 | Paper |
| Envelopes and indifference | 2011-05-31 | Paper |
| Decorated linear order types and the theory of concatenation | 2011-03-02 | Paper |
| Proof theory and meaning: on the context of deducibility | 2011-03-02 | Paper |
| MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH | 2010-08-13 | Paper |
| Truth values and proof theory | 2009-11-16 | Paper |
| On permutation in simplified semantics | 2009-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457387 | 2008-04-14 | Paper |
| Relevant restricted quantification | 2006-11-17 | Paper |
| The geometry of non-distributive logics | 2006-09-06 | Paper |
| Multiple conclusions | 2006-08-16 | Paper |
| Logic. An introduction | 2006-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711856 | 2005-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5694707 | 2005-10-04 | Paper |
| Routes to triviality | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4662881 | 2005-03-30 | Paper |
| Just What Is Full-Blooded Platonism?† | 2004-09-06 | Paper |
| Paraconsistency everywhere | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4709466 | 2003-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4805593 | 2003-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4795603 | 2003-03-11 | Paper |
| Negation in relevant logics. (How I stopped worrying and learned to love the Routley star) | 2001-12-18 | Paper |
| Linear arithmetic desecsed | 2001-09-04 | Paper |
| Defining double negation elimination | 2000-12-19 | Paper |
| Displaying and deciding substructural logics. I: Logics with contraposition | 1999-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4390779 | 1999-02-09 | Paper |
| Ways things can't be | 1999-01-27 | Paper |
| Combining possibilities and negations | 1998-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5691522 | 1997-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5690150 | 1997-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856963 | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856958 | 1995-12-05 | Paper |
| Four-valued semantics for relevant logics (and some of their rivals) | 1995-03-22 | Paper |
| A Useful Substructural Logic | 1995-01-02 | Paper |
| Subintuitionistic logics | 1994-09-13 | Paper |
| How to be really contraction free | 1994-08-21 | Paper |
| Simplified semantics for relevant logics (and some of their rivals) | 1994-02-16 | Paper |
| A note on naive set theory in LP | 1993-02-22 | Paper |
