Arithmetic starred
pp. 309-314
Abstrakt
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
Published in:
Tanaka Koji, Berto Francesco, Mares Edwin D., Paoli Francesco (2013) Paraconsistency: logic and applications. Dordrecht, Springer.
Seiten: 309-314
DOI: 10.1007/978-94-007-4438-7_16
Referenz:
Mortensen Chris (2013) „Arithmetic starred“, In: K. Tanaka, F. Berto, E. D. Mares & F. Paoli (eds.), Paraconsistency, Dordrecht, Springer, 309–314.