| Publication | Date of Publication | Type |
|---|
| Sequent calculi for first-order ST | 2024-10-24 | Paper |
| Intuitionistic logic is a connexive logic | 2024-04-10 | Paper |
| A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC | 2024-01-11 | Paper |
| Residuated Structures in Algebra and Logic | 2023-11-02 | Paper |
| The original sin of proof-theoretic semantics | 2023-03-15 | Paper |
| Logics of variable inclusion | 2022-06-09 | Paper |
| Pure Variable Inclusion Logics | 2022-03-29 | Paper |
| Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems | 2022-03-29 | Paper |
| Residuated structures and orthomodular lattices | 2021-12-27 | Paper |
| Extensions of paraconsistent weak Kleene logic | 2021-12-03 | Paper |
| On PBZ*-lattices | 2021-03-19 | Paper |
| PBZ*-lattices: ordinal and horizontal sums | 2021-03-19 | Paper |
| PBZ*-Lattices: Structure Theory and Subvarieties | 2020-09-22 | Paper |
| Proof theory of paraconsistent weak Kleene logic | 2020-08-25 | Paper |
| ST, LP and Tolerant Metainferences | 2020-08-10 | Paper |
| Bilattice Logics and Demi-Negation | 2020-08-10 | Paper |
| Algebraic analysis of demodalised analytic implication | 2020-02-14 | Paper |
| AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS | 2019-06-07 | Paper |
| Quasi-subtractive varieties: Open filters, congruences and the commutator | 2019-01-08 | Paper |
| The Archimedean property: new horizons and perspectives | 2018-12-05 | Paper |
| Ordinal and Horizontal Sums Constructing PBZ*-lattices | 2018-11-05 | Paper |
| Boolean product representations of algebras via binary polynomials | 2018-09-13 | Paper |
| Factor varieties | 2018-02-27 | Paper |
| On some properties of PBZ\(^*\)-lattices | 2018-02-05 | Paper |
| On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis | 2017-05-15 | Paper |
| Semantic minimalism for logical constants | 2017-04-03 | Paper |
| A new view of effects in a Hilbert space | 2017-03-02 | Paper |
| ON WHEN A SEMANTICS IS NOT A GOOD SEMANTICS: THE ALGEBRAISATION OF ORTHOMODULAR LOGIC | 2017-01-16 | Paper |
| On some properties of directoids | 2016-11-22 | Paper |
| Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. | 2016-05-18 | Paper |
| Semi-linear Varieties of Lattice-Ordered Algebras | 2015-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5179145 | 2015-03-19 | Paper |
| Logical consequence and the paradoxes | 2014-12-18 | Paper |
| Quasi-discriminator varieties | 2014-07-18 | Paper |
| Lattice-theoretic properties of algebras of logic | 2014-04-30 | Paper |
| On some Properties of quasi-MV √ Algebras and quasi-MV Algebras. Part IV | 2014-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5410346 | 2014-04-16 | Paper |
| On independent varieties and some related notions | 2013-11-18 | Paper |
| Quantum logic and nonclassical logics | 2013-10-04 | Paper |
| Boolean-like algebras | 2013-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4913001 | 2013-04-02 | Paper |
| A Paraconsistent and Substructural Conditional Logic | 2013-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906757 | 2013-02-28 | Paper |
| On Birkhoff's common abstraction problem | 2013-02-18 | Paper |
| Logics from \(\sqrt{\prime}\) quasi-MV algebras | 2012-06-20 | Paper |
| On certain quasivarieties of quasi-MV algebras | 2012-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3114283 | 2012-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3112283 | 2012-01-13 | Paper |
| Quasi-subtractive varieties | 2011-12-23 | Paper |
| Joins and subdirect products of varieties | 2011-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086534 | 2011-03-30 | Paper |
| Some generalizations of fuzzy structures in quantum computational logic | 2011-03-30 | Paper |
| The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras | 2010-12-01 | Paper |
| Categorical Equivalences for Formula quasi-MV Algebras | 2010-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3584003 | 2010-08-18 | Paper |
| The Logic of Quasi-MV Algebras | 2010-04-21 | Paper |
| A discriminator variety of Gödel algebras with operators arising in quantum computation | 2009-11-17 | Paper |
| Two cooperative versions of the guessing secrets problem | 2009-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3632247 | 2009-06-23 | Paper |
| Abelian logic and the logics of pointed lattice-ordered varieties | 2009-02-17 | Paper |
| On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II. | 2008-01-16 | Paper |
| Expanding quasi-MV algebras by a quantum operator | 2007-12-03 | Paper |
| The geometry of non-distributive logics | 2006-09-06 | Paper |
| \(\bigstar\)-autonomous lattices and fuzzy sets | 2006-08-18 | Paper |
| MV-algebras and quantum computation | 2006-08-16 | Paper |
| \(\bigstar\)-autonomous lattices | 2005-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4709816 | 2004-01-22 | Paper |
| Logic and groups | 2004-01-22 | Paper |
| Quine and Slater on paraconsistency and deviance | 2003-10-27 | Paper |
| On the algebraic structure of linear, relevance, and fuzzy logics | 2003-09-16 | Paper |
| Substructural logics: a primer | 2003-09-08 | Paper |
| A really fuzzy approach to the sorites paradox | 2003-09-07 | Paper |
| On strong comparative logic | 2001-09-04 | Paper |
| A common abstraction of MV-algebras and abelian \(l\)-groups | 2001-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955670 | 2000-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4383725 | 1998-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4305343 | 1994-09-13 | Paper |
