Matthew Spinks

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 5

Top Topics

Quasi Invariant

Automated Reasoning

Top Venues

Publications

Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
Nelson's logic ℒ. Log. J. IGPL 28 (6) (2020)
Robert J. Bignall, Matthew Spinks
Dual binary discriminator varieties. Art Discret. Appl. Math. 2 (2) (2019)
Matthew Spinks, Umberto Rivieccio, Thiago Nascimento
Compatibly involutive residuated lattices and the Nelson identity. Soft Comput. 23 (7) (2019)
Umberto Rivieccio, Matthew Spinks
Quasi-Nelson Algebras. LSFA (2018)
Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
S. WoLLIC (2018)
Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks
Quasi-discriminator varieties. Int. J. Algebra Comput. 24 (3) (2014)
Karin Cvetko-Vah, Jonathan Leech, Matthew Spinks
Skew lattices and binary operations on functions. J. Appl. Log. 11 (3) (2013)
Tomasz Kowalski, Francesco Paoli, Matthew Spinks
Quasi-subtractive varieties. J. Symb. Log. 76 (4) (2011)
Karin Cvetko-Vah, Michael K. Kinyon, Jonathan Leech, Matthew Spinks
Cancellation in Skew Lattices. Order 28 (1) (2011)
Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini
The Logic of Quasi-MV Algebras. J. Log. Comput. 20 (2) (2010)
Matthew Spinks, Robert Veroff
Constructive Logic with Strong Negation is a Substructural Logic. I. Stud Logica 88 (3) (2008)
Francesco Paoli, Matthew Spinks, Robert Veroff
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis 2 (2) (2008)
Matthew Spinks, Robert Veroff
Constructive Logic with Strong Negation is a Substructural Logic. II. Stud Logica 89 (3) (2008)
Robert Veroff, Matthew Spinks
Axiomatizing the Skew Boolean Propositional Calculus. J. Autom. Reason. 37 (1-2) (2006)
Robert J. Bignall, Matthew Spinks
Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality. ISMVL (1998)
Robert J. Bignall, Matthew Spinks
Multiple-Valued Logic as a Programming Language. ISMVL (1997)
Robert J. Bignall, Matthew Spinks
Propositional Skew Boolean Logic. ISMVL (1996)
Matthew Spinks, Jack Wood
Office-based telecommuting: an international comparison of satellite offices in Japan & North America. SIGCPR (1996)