Matthew Spinks

	2008
6		Matthew Spinks, Robert Veroff: Constructive Logic with Strong Negation is a Substructural Logic. I. Studia Logica 88(3): 325-348 (2008)
5		Matthew Spinks, Robert Veroff: Constructive Logic with Strong Negation is a Substructural Logic. II. Studia Logica 89(3): 401-425 (2008)
	2006
4		Robert Veroff, Matthew Spinks: Axiomatizing the Skew Boolean Propositional Calculus. J. Autom. Reasoning 37(1-2): 3-20 (2006)
	1998
3		Robert J. Bignall, Matthew Spinks: Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality. ISMVL 1998: 102-107
	1997
2		Robert J. Bignall, Matthew Spinks: Multiple-Valued Logic as a Programming Language. ISMVL 1997: 227-232
	1996
1		Robert J. Bignall, Matthew Spinks: Propositional Skew Boolean Logic. ISMVL 1996: 43-

Coauthor Index

1	Robert J. Bignall	[1] [2] [3]
2	Robert Veroff	[4] [5] [6]

Colors in the list of coauthors