| Publication | Date of Publication | Type |
|---|
| Topological duality for orthomodular lattices | 2023-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5099997 | 2022-08-26 | Paper |
| IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 | 2022-03-01 | Paper |
| St. Alasdair on Lattices Everywhere | 2022-02-04 | Paper |
| Interpretations of Weak Positive Modal Logics | 2022-01-04 | Paper |
| Default Rules in the Logic of First-Degree Entailments | 2020-08-10 | Paper |
| Introduction: From Information at Large to Semantics of Logics | 2020-08-07 | Paper |
| Larisa Maksimova’s Early Contributions to Relevance Logic | 2020-02-05 | Paper |
| Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance Logics | 2019-03-19 | Paper |
| Some relevance logics from the point of view of relational semantics | 2019-01-08 | Paper |
| Inhabitants of intuitionistic implicational theorems | 2018-10-18 | Paper |
| On the decidability of certain semi-lattice based modal logics | 2018-02-02 | Paper |
| Current trends in substructural logics | 2016-04-13 | Paper |
| The decidability of the intensional fragment of classical linear logic | 2015-08-17 | Paper |
| Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment | 2015-02-05 | Paper |
| Proof Theory | 2014-06-04 | Paper |
| On the decidability of implicational ticket entailment | 2013-04-23 | Paper |
| Symmetric generalized Galois logics | 2013-01-25 | Paper |
| New consecution calculi for \(R^{t}_{\to}\) | 2012-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3019505 | 2011-07-28 | Paper |
| Schönfinkel-type operators for classical logic | 2010-09-20 | Paper |
| Dual gaggle semantics for entailment | 2009-11-18 | Paper |
| RELEVANCE LOGICS AND RELATION ALGEBRAS | 2009-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3599059 | 2009-02-03 | Paper |
| Functorial duality for ortholattices and De Morgan lattices | 2008-02-15 | Paper |
| \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs | 2007-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3413071 | 2007-01-03 | Paper |
| Relational semantics for Kleene logic and action logic | 2006-03-23 | Paper |
| Admissibility of cut in LC with fixed point combinator | 2006-03-17 | Paper |
| Types of I-free hereditary right maximal terms | 2006-01-23 | Paper |
| The Church-Rosser property in symmetric combinatory logic | 2006-01-16 | Paper |
| Semantics for dual and symmetric combinatory calculi | 2004-08-06 | Paper |
| The Church-Rosser property in dual combinatory logic | 2004-03-25 | Paper |
| Four-valued logic | 2004-02-04 | Paper |
| Semantics for structurally free logics LC+ | 2002-06-06 | Paper |
| Investigation into combinatory systems with dual combinators | 2001-02-18 | Paper |
| Two extensions of the structurally free logic LC | 1998-01-01 | Paper |
