| Publication | Date of Publication | Type |
|---|
| On the origins of gaggle theory | 2024-11-20 | Paper |
Concepts at the heart of mathematics -- through the centuries. Book review of: J. Stillwell, The story of proof. Logic and the history of mathematics
Notices of the American Mathematical Society | 2024-09-26 | Paper |
Topological duality for orthomodular lattices
Mathematical Logic Quarterly | 2023-09-15 | Paper |
| scientific article; zbMATH DE number 7576846 (Why is no real title available?) | 2022-08-26 | Paper |
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
The Bulletin of Symbolic Logic | 2022-03-01 | Paper |
St. Alasdair on Lattices Everywhere
Outstanding Contributions to Logic | 2022-02-04 | Paper |
Interpretations of weak positive modal logics
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Default rules in the logic of first-degree entailments
New Essays on Belnap-Dunn Logic | 2020-08-10 | Paper |
Introduction: from information at large to semantics of logics
Outstanding Contributions to Logic | 2020-08-07 | Paper |
Larisa Maksimova’s Early Contributions to Relevance Logic
Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics
The Australasian Journal of Logic | 2019-03-19 | Paper |
Some relevance logics from the point of view of relational semantics
Logic Journal of the IGPL | 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
Journal of Philosophical Logic | 2016-04-13 | Paper |
The decidability of the intensional fragment of classical linear logic
Theoretical Computer Science | 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
Logica Universalis | 2015-02-05 | Paper |
| Proof theory. Sequent calculi and related formalisms | 2014-06-04 | Paper |
On the decidability of implicational ticket entailment
Journal of Symbolic Logic | 2013-04-23 | Paper |
Symmetric generalized Galois logics
Logica Universalis | 2013-01-25 | Paper |
New consecution calculi for \(R^{t}_{\to}\)
Notre Dame Journal of Formal Logic | 2012-11-29 | Paper |
| Combinatory logic. Pure, applied and typed | 2011-07-28 | Paper |
Schönfinkel-type operators for classical logic
Studia Logica | 2010-09-20 | Paper |
Dual gaggle semantics for entailment
Notre Dame Journal of Formal Logic | 2009-11-18 | Paper |
RELEVANCE LOGICS AND RELATION ALGEBRAS
The Review of Symbolic Logic | 2009-07-30 | Paper |
| Generalized Galois logics. Relational semantics of nonclassical logical calculi | 2009-02-03 | Paper |
Functorial duality for ortholattices and De Morgan lattices
Logica Universalis | 2008-02-15 | Paper |
\(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
Journal of Philosophical Logic | 2007-10-22 | Paper |
| scientific article; zbMATH DE number 5081447 (Why is no real title available?) | 2007-01-03 | Paper |
Relational semantics for Kleene logic and action logic
Notre Dame Journal of Formal Logic | 2006-03-23 | Paper |
Admissibility of cut in LC with fixed point combinator
Studia Logica | 2006-03-17 | Paper |
Types of I-free hereditary right maximal terms
Journal of Philosophical Logic | 2006-01-23 | Paper |
The Church-Rosser property in symmetric combinatory logic
Journal of Symbolic Logic | 2006-01-16 | Paper |
Semantics for dual and symmetric combinatory calculi
Journal of Philosophical Logic | 2004-08-06 | Paper |
The Church-Rosser property in dual combinatory logic
Journal of Symbolic Logic | 2004-03-25 | Paper |
Four-valued logic
Notre Dame Journal of Formal Logic | 2004-02-04 | Paper |
Semantics for structurally free logics LC+
Logic Journal of the IGPL | 2002-06-06 | Paper |
Investigation into combinatory systems with dual combinators
Studia Logica | 2001-02-18 | Paper |
Two extensions of the structurally free logic LC
Logic Journal of the IGPL | 1998-01-01 | Paper |
