
Publication details
Publisher: Springer
Place: Berlin
Year: 2013
Pages: 309-314
Series: Logic, Epistemology, and the Unity of Science
ISBN (Hardback): 9789400744370
Full citation:
, "Arithmetic starred", in: Paraconsistency, Berlin, Springer, 2013


Arithmetic starred
pp. 309-314
in: Koji Tanaka, Francesco Berto, Edwin D. Mares, Francesco Paoli (eds), Paraconsistency, Berlin, Springer, 2013Abstract
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
Publisher: Springer
Place: Berlin
Year: 2013
Pages: 309-314
Series: Logic, Epistemology, and the Unity of Science
ISBN (Hardback): 9789400744370
Full citation:
, "Arithmetic starred", in: Paraconsistency, Berlin, Springer, 2013