| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5099997 | 2022-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5100000 | 2022-08-26 | Paper |
| St. Alasdair on Lattices Everywhere | 2022-02-04 | Paper |
| Implicational partial Galois logics: relational semantics | 2022-01-24 | Paper |
| Implicational tonoid logics: algebraic and relational semantics | 2022-01-24 | Paper |
| R-Mingle is Nice, and so is Arnon Avron | 2022-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5115671 | 2020-08-17 | Paper |
| Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond | 2020-08-10 | Paper |
| Intuitive Semantics for First-Degree Entailment and ‘Coupled Trees’ | 2020-08-10 | Paper |
| Natural Language Versus Formal Language | 2020-08-10 | Paper |
| Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters | 2020-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3305415 | 2020-08-07 | Paper |
| A “Reply” to My “Critics” | 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 |
| Intuitive semantics for first-degree entailments and `coupled trees' | 2018-09-25 | Paper |
| Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras | 2015-05-11 | 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 |
| The Relevance of Relevance to Relevance Logic | 2015-01-09 | Paper |
| Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing | 2013-08-09 | 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 |
| On the ternary relation and conditionality | 2012-09-20 | Paper |
| Contradictory information: too much of a good thing | 2010-10-06 | Paper |
| RELEVANCE LOGICS AND RELATION ALGEBRAS | 2009-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3599059 | 2009-02-03 | Paper |
| Relational semantics for Kleene logic and action logic | 2006-03-23 | Paper |
| Negation in the context of gaggle theory | 2006-01-30 | Paper |
| Canonical extensions and relational completeness of some substructural logics | 2006-01-16 | Paper |
| Quantum logic as motivated by quantum computing | 2006-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424663 | 2004-03-04 | Paper |
| Four-valued logic | 2004-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428873 | 2003-09-22 | Paper |
| Partiality and its dual | 2002-07-22 | Paper |
| The Trilattice of Constructive Truth Values | 2002-05-22 | Paper |
| A comparative study of various model-theoretic treatments of negation: A history of formal negation | 2001-11-13 | Paper |
| Algebraic methods in philosophical logic | 2001-10-29 | Paper |
| Generalized ortho negation | 2001-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940724 | 2000-02-28 | Paper |
| Stone duality for lattices | 1998-11-23 | Paper |
| Two extensions of the structurally free logic LC | 1998-01-01 | Paper |
| Combinators and structurally free logic | 1997-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342081 | 1997-07-08 | Paper |
| Recent work at the interface of logic, combinatorics, and computer science | 1997-05-13 | Paper |
| Positive modal logic | 1996-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287485 | 1995-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4297115 | 1994-06-28 | Paper |
| Kripke models for linear logic | 1993-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3797161 | 1987-01-01 | Paper |
| Relevant predication. I: The formal theory | 1987-01-01 | Paper |
| A relational representation of quasi-Boolean algebras | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3331197 | 1982-01-01 | Paper |
| A consecutive calculus for positive relevant implication with necessity | 1980-01-01 | Paper |
| A sieve for entailments | 1980-01-01 | Paper |
| A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198728 | 1979-01-01 | Paper |
| Relevant Robinson's arithmetic | 1979-01-01 | Paper |
| R-Mingle and beneath. Extensions of the Routley-Meyer semantics for R | 1979-01-01 | Paper |
| A Kripke-style semantics for R-mingle using a binary accessibility relation | 1976-01-01 | Paper |
| Quantification and RM | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4126316 | 1976-01-01 | Paper |
| Axiomatizing Belnap's conditional assertion | 1975-01-01 | Paper |
| Completeness of relevant quantification theories | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675346 | 1973-01-01 | Paper |
| A modification of Parry's analytic implication | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632547 | 1972-01-01 | Paper |
| Algebraic Completeness Results for Dummett's LC and Its Extensions | 1971-01-01 | Paper |
| Algebraic completeness results for R-mingle and its extensions | 1970-01-01 | Paper |
| E, R AND γ | 1969-01-01 | Paper |
| Homomorphisms of intensionally complemented distributive lattices | 1968-01-01 | Paper |
