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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matthew Spinks