Matthew Spinks

Available identifiers

zbMath Open spinks.matthewMaRDI QIDQ429937

List of research outcomes

Publication	Date of Publication	Type
Nelson’s logic 𝒮	2022-01-18	Paper
Quasi-Nelson; or, non-involutive Nelson algebras	2021-03-19	Paper
Dual binary discriminator varieties	2020-01-21	Paper
Quasi-Nelson algebras	2019-11-13	Paper
Compatibly involutive residuated lattices and the Nelson identity	2019-08-12	Paper
Algebraic semantics for Nelson's logic \(\mathcal{S}\)	2018-10-18	Paper
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic	2018-09-13	Paper
Algebraic Semantics for Nelson's Logic S	2018-03-28	Paper
VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS	2017-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q3466619	2016-02-01	Paper
Quasi-discriminator varieties	2014-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5411478	2014-04-23	Paper
Skew lattices and binary operations on functions	2014-04-17	Paper
Logics from \(\sqrt{\prime}\) quasi-MV algebras	2012-06-20	Paper
Quasi-subtractive varieties	2011-12-23	Paper
Lee classes for pseudocomplemented semilattices, revisited	2011-05-11	Paper
Principal congruences on pseudocomplemented semilattices	2011-05-11	Paper
Cancellation in skew lattices	2011-03-31	Paper
The Logic of Quasi-MV Algebras	2010-04-21	Paper
Constructive logic with strong negation is a substructural logic. II	2009-03-17	Paper
Abelian logic and the logics of pointed lattice-ordered varieties	2009-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q5505773	2009-01-28	Paper
Skew Boolean algebras derived from generalized Boolean algebras	2008-07-30	Paper
Constructive logic with strong negation is a substructural logic. I	2008-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q5453728	2008-04-03	Paper
Axiomatizing the skew Boolean propositional calculus	2007-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q3433171	2007-04-27	Paper
Ternary and quaternary deductive terms for Nelson algebras	2006-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4657796	2005-03-14	Paper
On middle distributivity for skew lattices	2001-07-19	Paper

Research outcomes over time

This page was built for person: Matthew Spinks