publications‎ > ‎

in preparation

Computation in Non-Classical Logics (with Toby Meadows)

Paraconsistent Arithmetic

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 [1980], 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…)