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