Arithmetic starred

Chris Mortensen

pp. 309-314

in: Koji Tanaka, Francesco Berto, Edwin D. Mares, Francesco Paoli (eds), Paraconsistency, Berlin, Springer, 2013

Abstract

This paper explores the role of the Routley Functor in providing a source of nontrivial inconsistent theories. It considers the result of applying it to classical Peano arithmetic, then surveys various further constructions obtained by combining starring and complementation.