| Publication | Date of Publication | Type |
|---|
Nelson's logic \(\mathcal{S}\)
Logic Journal of the IGPL | 2022-01-18 | Paper |
| Quasi-Nelson; or, non-involutive Nelson algebras | 2021-03-19 | Paper |
Dual binary discriminator varieties
The Art of Discrete and Applied Mathematics | 2020-01-21 | Paper |
| Quasi-Nelson algebras | 2019-11-13 | Paper |
Compatibly involutive residuated lattices and the Nelson identity
Soft Computing | 2019-08-12 | Paper |
Algebraic semantics for Nelson's logic \(\mathcal{S}\)
(available as arXiv preprint) | 2018-10-18 | Paper |
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | 2018-09-13 | Paper |
Algebraic Semantics for Nelson's Logic S
(available as arXiv preprint) | 2018-03-28 | Paper |
Varieties of skew Boolean algebras with intersections
Journal of the Australian Mathematical Society | 2017-05-11 | Paper |
| Discriminator logics (research announcement) | 2016-02-01 | Paper |
Quasi-discriminator varieties
International Journal of Algebra and Computation | 2014-07-18 | Paper |
| scientific article; zbMATH DE number 6287631 (Why is no real title available?) | 2014-04-23 | Paper |
Skew lattices and binary operations on functions
Journal of Applied Logic | 2014-04-17 | Paper |
Logics from \(\sqrt{\prime}\) quasi-MV algebras
International Journal of Theoretical Physics | 2012-06-20 | Paper |
Quasi-subtractive varieties
Journal of Symbolic Logic | 2011-12-23 | Paper |
Lee classes for pseudocomplemented semilattices, revisited
Algebra Universalis | 2011-05-11 | Paper |
Principal congruences on pseudocomplemented semilattices
Algebra Universalis | 2011-05-11 | Paper |
Cancellation in skew lattices
Order | 2011-03-31 | Paper |
The logic of quasi-MV algebras
Journal Of Logic And Computation | 2010-04-21 | Paper |
Constructive logic with strong negation is a substructural logic. II
Studia Logica | 2009-03-17 | Paper |
Abelian logic and the logics of pointed lattice-ordered varieties
Logica Universalis | 2009-02-17 | Paper |
| Characterisations of Nelson algebras | 2009-01-28 | Paper |
Skew Boolean algebras derived from generalized Boolean algebras
Algebra Universalis | 2008-07-30 | Paper |
Constructive logic with strong negation is a substructural logic. I
Studia Logica | 2008-06-25 | Paper |
| Corrigendum: Implicative BCS-algebra subreducts of skew Boolean algebras | 2008-04-03 | Paper |
Axiomatizing the skew Boolean propositional calculus
Journal of Automated Reasoning | 2007-05-03 | Paper |
| On a homomorphism property of hoops | 2007-04-27 | Paper |
Ternary and quaternary deductive terms for Nelson algebras
Algebra Universalis | 2006-01-17 | Paper |
| scientific article; zbMATH DE number 2145493 (Why is no real title available?) | 2005-03-14 | Paper |
On middle distributivity for skew lattices
Semigroup Forum | 2001-07-19 | Paper |
