| Publication | Date of Publication | Type |
|---|
| Comments on an Opinion | 2022-06-03 | Paper |
| On the Paths of Categories | 2022-06-03 | Paper |
| On Sets of Premises | 2020-04-03 | Paper |
| Inferential Semantics | 2020-02-04 | Paper |
| Gödel on deduction | 2019-05-15 | Paper |
| Gödel's natural deduction | 2018-04-16 | Paper |
| GÖDEL’S NOTRE DAME COURSE | 2017-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5271415 | 2017-07-11 | Paper |
| REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS | 2017-05-31 | Paper |
| Logic Lectures: G\"odel's Basic Logic Course at Notre Dame | 2017-05-07 | Paper |
| G\"odel on Deduction | 2016-04-10 | Paper |
| A Planarity Criterion for Graphs | 2015-11-18 | Paper |
| Graphs for Juncture | 2015-05-05 | Paper |
| Weak Cat-Operads | 2015-04-22 | Paper |
| Symmetric self-adjunctions and matrices | 2014-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411254 | 2014-04-23 | Paper |
| Graphs of plural cuts | 2013-12-04 | Paper |
| Ordinals in Frobenius monads | 2013-06-24 | Paper |
| Coherence of proof-net categories | 2013-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4918290 | 2013-04-24 | Paper |
| The Typed Böhm Theorem | 2013-04-19 | Paper |
| Syntax for split preorders | 2013-03-15 | Paper |
| Shuffles and concatenations in the construction of graphs | 2012-11-22 | Paper |
| Intermutation | 2012-05-23 | Paper |
| Isomorphic formulae in classical propositional logic | 2012-02-29 | Paper |
| Hypergraph polytopes | 2011-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007258 | 2011-06-21 | Paper |
| Coherence for modalities | 2011-04-29 | Paper |
| Bicartesian Coherence Revisited | 2011-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3069372 | 2011-01-25 | Paper |
| Coherence for monoidal monads and comonads | 2010-08-26 | Paper |
| Coherence for monoidal endofunctors | 2010-08-26 | Paper |
| Coherence in linear predicate logic | 2009-04-09 | Paper |
| Equality of proofs for linear equality | 2008-09-12 | Paper |
| Simplicial Endomorphisms | 2008-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3510438 | 2008-07-02 | Paper |
| Medial commutativity | 2007-05-23 | Paper |
| A NEW PROOF OF THE FAITHFULNESS OF BRAUER'S REPRESENTATION OF TEMPERLEY–LIEB ALGEBRAS | 2007-02-07 | Paper |
| Models of deduction | 2006-08-18 | Paper |
| Coherence for star-autonomous categories | 2006-08-16 | Paper |
| Associativity as commutativity | 2006-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3376920 | 2006-03-27 | Paper |
| Coherence and Confluence | 2005-06-15 | Paper |
| Generality of proofs and its Brauerian representation | 2005-02-09 | Paper |
| Identity of Proofs Based on Normalization and Generality | 2005-02-09 | Paper |
| The geometry of self-adjunction | 2005-01-03 | Paper |
| A Brauerian representation of split preorders | 2004-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436028 | 2003-11-23 | Paper |
| Self-adjunctions and matrices. | 2003-09-15 | Paper |
| Bicartesian coherence | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3153291 | 2002-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3153199 | 2002-11-05 | Paper |
| Kauffman Monoids | 2002-07-30 | Paper |
| Deductive systems and categories | 2002-02-26 | Paper |
| Negation in the light of modal logic | 2001-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489070 | 2001-10-28 | Paper |
| The maximality of the typed lambda calculus and of cartesian closed categories | 2001-07-08 | Paper |
| The maximality of Cartesian categories | 2001-03-28 | Paper |
| On permuting cut with contraction | 2000-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940723 | 2000-02-28 | Paper |
| Cartesian isomorphisms are symmetric monoidal: A justification of linear logic | 2000-01-09 | Paper |
| Cut elimination in categories | 2000-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699341 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250063 | 1999-10-28 | Paper |
| Functions Redefined | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395622 | 1999-02-22 | Paper |
| Isomorphic objects in symmetric monoidal closed categories | 1998-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4398704 | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688811 | 1997-03-16 | Paper |
| Deductive Completeness | 1997-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837726 | 1996-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837727 | 1996-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698611 | 1995-12-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4833771 | 1995-05-23 | Paper |
| Modal logic as metalogic | 1994-08-21 | Paper |
| A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS | 1994-06-08 | Paper |
| Rudimentary Kripke models for the intuitionistic propositional calculus | 1993-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694248 | 1993-06-29 | Paper |
| The first axiomatization of relevant logic | 1993-04-01 | Paper |
| Modal translations in substructural logics | 1993-01-16 | Paper |
| Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic | 1992-09-27 | Paper |
| Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus | 1992-06-28 | Paper |
| Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202987 | 1990-01-01 | Paper |
| Sequent-systems and groupoid models. II | 1989-01-01 | Paper |
| Logical constants as punctuation marks | 1989-01-01 | Paper |
| Duality between modal algebras and neighbourhood frames | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3803087 | 1988-01-01 | Paper |
| Sequent-systems and groupoid models. I | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3469080 | 1988-01-01 | Paper |
| Uniqueness, definability and interpolation | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3795646 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3781738 | 1987-01-01 | Paper |
| A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3775514 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028968 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745828 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728880 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3712315 | 1986-01-01 | Paper |
| Models for stronger normal intuitionistic modal logics | 1985-01-01 | Paper |
| Sequent-systems for modal logic | 1985-01-01 | Paper |
| A Completeness Theorem for the Lambek Calculus of Syntactic Categories | 1985-01-01 | Paper |
| An intuitionistic Sheffer function | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3751562 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3744149 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3338228 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218105 | 1984-01-01 | Paper |
| Models for normal intuitionistic modal logics | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218106 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329439 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956909 | 1981-01-01 | Paper |
| A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic | 1981-01-01 | Paper |
| A note on the law of identity and the converse Parry property | 1978-01-01 | Paper |
