Mortensen, C.Tanaka, K.Berto, F.Mares, E.Paoli, F.2015-01-142015-01-142013Paraconsistency: logic and applications, 2013 / Tanaka, K., Berto, F., Mares, E., Paoli, F. (ed./s), Ch.16, pp.309-3149789400744370http://hdl.handle.net/2440/88679This 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.en© Springer Science+Business Media Dordrecht 2013Arithmetic starredBook chapter002013731610.1007/978-94-007-4438-7_162-s2.0-8503140719614919Mortensen, C. [0009-0001-3942-2126]