Adelaide Research & Scholarship
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/88679
| Citations | ||
| Scopus | Web of Science® | Altmetric |
|---|---|---|
|
?
|
?
|
|
| Type: | Book chapter |
| Title: | Arithmetic starred |
| Author: | Mortensen, C. |
| Citation: | Paraconsistency: logic and applications, 2013 / Tanaka, K., Berto, F., Mares, E., Paoli, F. (ed./s), Ch.16, pp.309-314 |
| Publisher: | Springer |
| Publisher Place: | Netherlands |
| Issue Date: | 2013 |
| Series/Report no.: | Logic, Epistemology, and the Unity of Science; 26 |
| ISBN: | 9789400744370 |
| Editor: | Tanaka, K. Berto, F. Mares, E. Paoli, F. |
| Statement of Responsibility: | Chris Mortensen |
| Abstract: | 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. |
| Rights: | © Springer Science+Business Media Dordrecht 2013 |
| DOI: | 10.1007/978-94-007-4438-7_16 |
| Published version: | http://dx.doi.org/10.1007/978-94-007-4438-7_16 |
| Appears in Collections: | Aurora harvest 7 Philosophy publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.