Matthew Spinks

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