| Publication | Date of Publication | Type |
|---|
Structural Rules in Natural Deduction with Alternatives
Bulletin of the Section of Logic | 2024-02-29 | Paper |
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
The Review of Symbolic Logic | 2024-01-11 | Paper |
| scientific article; zbMATH DE number 7646006 (Why is no real title available?) | 2023-01-25 | Paper |
Geometric Models for Relevant Logics
Outstanding Contributions to Logic | 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
Outstanding Contributions to Logic | 2020-08-10 | Paper |
Negation on the Australian plan
Journal of Philosophical Logic | 2020-02-14 | Paper |
GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
The Review of Symbolic Logic | 2019-06-07 | Paper |
First degree entailment, symmetry and paradox
Logic and Logical Philosophy | 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
Studia Logica | 2015-02-27 | Paper |
Pluralism and proofs
Erkenntnis | 2015-01-26 | Paper |
| Bradwardine hypersequents | 2015-01-22 | Paper |
Assertion, Denial and Non-classical Theories
Paraconsistency: Logic and Applications | 2013-04-02 | Paper |
| scientific article; zbMATH DE number 6108203 (Why is no real title available?) | 2012-11-16 | Paper |
On \(t\) and \(u\), and what they can do
Analysis | 2012-11-09 | Paper |
A cut-free sequent system for two-dimensional modal logic, and why it matters
Annals of Pure and Applied Logic | 2012-09-26 | Paper |
On the ternary relation and conditionality
Journal of Philosophical Logic | 2012-09-20 | Paper |
Anti-realist classical logic and realist mathematics
The Realism-Antirealism Debate in the Age of Alternative Logics | 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
The Review of Symbolic Logic | 2010-08-13 | Paper |
Truth values and proof theory
Studia Logica | 2009-11-16 | Paper |
On permutation in simplified semantics
Journal of Philosophical Logic | 2009-06-19 | Paper |
| scientific article; zbMATH DE number 5263148 (Why is no real title available?) | 2008-04-14 | Paper |
Relevant restricted quantification
Journal of Philosophical Logic | 2006-11-17 | Paper |
The geometry of non-distributive logics
Journal of Symbolic Logic | 2006-09-06 | Paper |
| Multiple conclusions | 2006-08-16 | Paper |
| Logic. An introduction | 2006-06-06 | Paper |
| scientific article; zbMATH DE number 2236607 (Why is no real title available?) | 2005-12-08 | Paper |
| scientific article; zbMATH DE number 2211928 (Why is no real title available?) | 2005-10-04 | Paper |
Routes to triviality
Journal of Philosophical Logic | 2005-04-07 | Paper |
| scientific article; zbMATH DE number 2150332 (Why is no real title available?) | 2005-03-30 | Paper |
Just What Is Full-Blooded Platonism?†
Philosophia Mathematica | 2004-09-06 | Paper |
Paraconsistency everywhere
Notre Dame Journal of Formal Logic | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 1932196 (Why is no real title available?) | 2003-09-07 | Paper |
| scientific article; zbMATH DE number 1907195 (Why is no real title available?) | 2003-05-07 | Paper |
| scientific article; zbMATH DE number 1874095 (Why is no real title available?) | 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
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
Defining double negation elimination
Logic Journal of the IGPL | 2000-12-19 | Paper |
Displaying and deciding substructural logics. I: Logics with contraposition
Journal of Philosophical Logic | 1999-05-24 | Paper |
| scientific article; zbMATH DE number 1156792 (Why is no real title available?) | 1999-02-09 | Paper |
Ways things can't be
Notre Dame Journal of Formal Logic | 1999-01-27 | Paper |
Combining possibilities and negations
Studia Logica | 1998-06-01 | Paper |
| scientific article; zbMATH DE number 972605 (Why is no real title available?) | 1997-11-16 | Paper |
| scientific article; zbMATH DE number 966898 (Why is no real title available?) | 1997-01-15 | Paper |
| scientific article; zbMATH DE number 823607 (Why is no real title available?) | 1996-07-01 | Paper |
| scientific article; zbMATH DE number 823602 (Why is no real title available?) | 1995-12-05 | Paper |
Four-valued semantics for relevant logics (and some of their rivals)
Journal of Philosophical Logic | 1995-03-22 | Paper |
A Useful Substructural Logic
Logic Journal of the IGPL | 1995-01-02 | Paper |
Subintuitionistic logics
Notre Dame Journal of Formal Logic | 1994-09-13 | Paper |
How to be really contraction free
Studia Logica | 1994-08-21 | Paper |
Simplified semantics for relevant logics (and some of their rivals)
Journal of Philosophical Logic | 1994-02-16 | Paper |
A note on naive set theory in LP
Notre Dame Journal of Formal Logic | 1993-02-22 | Paper |
