Collections | Livre | Chapitre
Arithmetic starred
pp. 309-314
Résumé
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.
Détails de la publication
Publié dans:
Tanaka Koji, Berto Francesco, Mares Edwin D., Paoli Francesco (2013) Paraconsistency: logic and applications. Dordrecht, Springer.
Pages: 309-314
DOI: 10.1007/978-94-007-4438-7_16
Citation complète:
Mortensen Chris, 2013, Arithmetic starred. In K. Tanaka, F. Berto, E. D. Mares & F. Paoli (eds.) Paraconsistency (309-314). Dordrecht, Springer.