dblp.uni-trier.dewww.uni-trier.de

Matthew Spinks Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)