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, et al. (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.