Repository | Book | Chapter
(2013) Paraconsistency, Dordrecht, Springer.
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.
Publication details
DOI: 10.1007/978-94-007-4438-7_16
Full citation:
Mortensen, C. (2013)., Arithmetic starred, in K. Tanaka, F. Berto, E. D. Mares & F. Paoli (eds.), Paraconsistency, Dordrecht, Springer, pp. 309-314.