Computation in Non-Classical Logics (with Toby Meadows)
Paraconsistent Algorithms and Dialetheic Machines, for Paraconsistent Reasoning in Science and Mathematics, ed. H Andreas and P Verdee, Springer.
Editor / introduction: Ultralogic as universal? by Richard Routley, newly typeset and with contributions; to be Volume III of a new edition of Exploring Meinong's Jungle and Beyond , coordinating editor Maureen Eckert. Expected 2016 (?).
Non-Classical Set Theories (with P Verdee and H Omori)
The Metaphysics of Paradox -- a book! (Inclosures, finitism, naive proof, and more…)