Matthew Spinks

According to our database, Matthew Spinks authored at least 18 papers between 1996 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Nelson's logic ℒ.

Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks

Log. J. IGPL, 2020

2019

Compatibly involutive residuated lattices and the Nelson identity.

Matthew Spinks, Umberto Rivieccio, Thiago Nascimento

Soft Comput., 2019

Dual binary discriminator varieties.

Robert J. Bignall, Matthew Spinks

Art Discret. Appl. Math., 2019

2018

Quasi-Nelson Algebras.

Umberto Rivieccio, Matthew Spinks

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

Algebraic Semantics for Nelson's Logic <i>S</i> S.

Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks

Proceedings of the Logic, Language, Information, and Computation, 2018

2014

Quasi-discriminator varieties.

Francesco Paoli, Antonio Ledda, Tomasz Kowalski, Matthew Spinks

Int. J. Algebra Comput., 2014

2013

Skew lattices and binary operations on functions.

Karin Cvetko-Vah, Jonathan Leech, Matthew Spinks

J. Appl. Log., 2013

2011

Cancellation in Skew Lattices.

Karin Cvetko-Vah, Michael K. Kinyon, Jonathan Leech, Matthew Spinks

Order, 2011

Quasi-subtractive varieties.

Tomasz Kowalski, Francesco Paoli, Matthew Spinks

J. Symb. Log., 2011

2010

The Logic of Quasi-MV Algebras.

Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini

J. Log. Comput., 2010

2008

Constructive Logic with Strong Negation is a Substructural Logic. II.

Matthew Spinks, Robert Veroff

Stud Logica, 2008

Constructive Logic with Strong Negation is a Substructural Logic. I.

Matthew Spinks, Robert Veroff

Stud Logica, 2008

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.

Francesco Paoli, Matthew Spinks, Robert Veroff

Logica Universalis, 2008

2006

Axiomatizing the Skew Boolean Propositional Calculus.

Robert Veroff, Matthew Spinks

J. Autom. Reason., 2006

1998

Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality.

Robert J. Bignall, Matthew Spinks

Proceedings of the 28th IEEE International Symposium on Multiple-Valued Logic, 1998

1997

Multiple-Valued Logic as a Programming Language.

Robert J. Bignall, Matthew Spinks

Proceedings of the 27th IEEE International Symposium on Multiple-Valued Logic, 1997

1996

Office-based telecommuting: an international comparison of satellite offices in Japan & North America.

Matthew Spinks, Jack Wood

Proceedings of the 1996 ACM SIGCPR/SIGMIS Conference on Computer personnel Research, 1996

Propositional Skew Boolean Logic.

Robert J. Bignall, Matthew Spinks

Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996