| Gödel on Deduction. | 0 | 0.34 | 2019 |
| Gödel's Natural Deduction. | 0 | 0.34 | 2018 |
| Representing Conjunctive Deductions by Disjunctive Deductions | 0 | 0.34 | 2017 |
| Gödel’s notre dame course | 0 | 0.34 | 2016 |
| A Planarity Criterion for Graphs | 0 | 0.34 | 2015 |
| Syntax for split preorders. | 3 | 0.53 | 2013 |
| Intermutation. | 0 | 0.34 | 2012 |
| Isomorphic formulae in classical propositional logic. | 1 | 0.48 | 2012 |
| Coherence for monoidal monads and comonads† | 1 | 0.47 | 2010 |
| Coherence for monoidal endofunctors† | 1 | 0.47 | 2010 |
| Equality of proofs for linear equality | 0 | 0.34 | 2008 |
| Models of Deduction* | 2 | 0.53 | 2006 |
| A New Proof Of The Faithfulness Of Brauer'S Representation Of Temperley-Lieb Algebras | 0 | 0.34 | 2006 |
| Negation and Involutive Adjunctions | 0 | 0.34 | 2005 |
| Identity of proofs based on normalization and generality. | 17 | 1.23 | 2003 |
| A Brauerian representation of split preorders | 7 | 0.87 | 2003 |
| Bicartesian Coherence | 5 | 0.82 | 2002 |
| The Maximality of Cartesian Categories | 4 | 1.41 | 2001 |
| Coherent Bicartesian and Sesquicartesian Categories | 2 | 0.53 | 2001 |
| Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic | 1 | 0.38 | 1999 |
| Deductive completeness | 1 | 0.49 | 1996 |
| A Brief Survey of Frames for the Lambek Calculus. | 25 | 3.45 | 1992 |
| Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus | 1 | 0.44 | 1991 |
| Sequent-systems and groupoid models. II | 37 | 5.11 | 1989 |
| Logical Constants as Punctuation Marks | 20 | 3.49 | 1989 |
| Uniqueness, Definability And Interpolation | 2 | 0.43 | 1988 |
| Sequent-Systems For Modal Logic | 13 | 1.28 | 1985 |
