Matthew Spinks

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Nelson's logic ℒ.
Log. J. IGPL, 2020

2019
Compatibly involutive residuated lattices and the Nelson identity.
Soft Comput., 2019

Dual binary discriminator varieties.
Art Discret. Appl. Math., 2019

2018
Quasi-Nelson Algebras.
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

Algebraic Semantics for Nelson's Logic <i>S</i> S.
Proceedings of the Logic, Language, Information, and Computation, 2018

2014
Quasi-discriminator varieties.
Int. J. Algebra Comput., 2014

2013
Skew lattices and binary operations on functions.
J. Appl. Log., 2013

2011
Cancellation in Skew Lattices.
Order, 2011

Quasi-subtractive varieties.
J. Symb. Log., 2011

2010
The Logic of Quasi-MV Algebras.
J. Log. Comput., 2010

2008
Constructive Logic with Strong Negation is a Substructural Logic. II.
Stud Logica, 2008

Constructive Logic with Strong Negation is a Substructural Logic. I.
Stud Logica, 2008

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.
Logica Universalis, 2008

2006
Axiomatizing the Skew Boolean Propositional Calculus.
J. Autom. Reason., 2006

1998
Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality.
Proceedings of the 28th IEEE International Symposium on Multiple-Valued Logic, 1998

1997
Multiple-Valued Logic as a Programming Language.
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.
Proceedings of the 1996 ACM SIGCPR/SIGMIS Conference on Computer personnel Research, 1996

Propositional Skew Boolean Logic.
Proceedings of the 26th IEEE International Symposium on Multiple-Valued Logic, 1996


  Loading...