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.
CITATION STYLE
Mortensen, C. (2013). Arithmetic starred. In Paraconsistency: Logic and Applications (pp. 309–314). Springer Netherlands. https://doi.org/10.1007/978-94-007-4438-7_16
Mendeley helps you to discover research relevant for your work.