Propositional Skew Boolean Logic. - Robert J. Bignall; Matthew Spinks (ISMVL, 1996)

Office-based telecommuting: an international comparison of satellite offices in Japan & North America. - Matthew Spinks; Jack Wood (SIGCPR, 1996)

Multiple-Valued Logic as a Programming Language. - Robert J. Bignall; Matthew Spinks (ISMVL, 1997)

Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality. - Robert J. Bignall; Matthew Spinks (ISMVL, 1998)

Axiomatizing the Skew Boolean Propositional Calculus. - Robert Veroff; Matthew Spinks (J. Autom. Reason., 2006)

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. - Francesco Paoli; Matthew Spinks; Robert Veroff (Logica Universalis, 2008)

Constructive Logic with Strong Negation is a Substructural Logic. I. - Matthew Spinks; Robert Veroff (Stud Logica, 2008)

Constructive Logic with Strong Negation is a Substructural Logic. II. - Matthew Spinks; Robert Veroff (Stud Logica, 2008)

The Logic of Quasi-MV Algebras. - Félix Bou; Francesco Paoli; Antonio Ledda; Matthew Spinks; Roberto Giuntini (J. Log. Comput., 2010)

Quasi-subtractive varieties. - Tomasz Kowalski; Francesco Paoli; Matthew Spinks (J. Symb. Log., 2011)

Cancellation in Skew Lattices. - Karin Cvetko-Vah; Michael K. Kinyon; Jonathan Leech; Matthew Spinks (Order, 2011)

Skew lattices and binary operations on functions. - Karin Cvetko-Vah; Jonathan Leech; Matthew Spinks (J. Appl. Log., 2013)

Quasi-discriminator varieties. - Francesco Paoli; Antonio Ledda; Tomasz Kowalski; Matthew Spinks (Int. J. Algebra Comput., 2014)

Algebraic Semantics for Nelson's Logic S S. - Thiago Nascimento; Umberto Rivieccio; João Marcos 001; Matthew Spinks (WoLLIC, 2018)

Quasi-Nelson Algebras. - Umberto Rivieccio; Matthew Spinks (LSFA, 2018)

Dual binary discriminator varieties. - Robert J. Bignall; Matthew Spinks (Art Discret. Appl. Math., 2019)

Compatibly involutive residuated lattices and the Nelson identity. - Matthew Spinks; Umberto Rivieccio; Thiago Nascimento (Soft Comput., 2019)

Nelson's logic ℒ. - Thiago Nascimento; Umberto Rivieccio; João Marcos 001; Matthew Spinks (Log. J. IGPL, 2020)