Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/88679
Citations | ||
Scopus | Web of Science® | Altmetric |
---|---|---|
?
|
?
|
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Mortensen, C. | - |
dc.contributor.editor | Tanaka, K. | - |
dc.contributor.editor | Berto, F. | - |
dc.contributor.editor | Mares, E. | - |
dc.contributor.editor | Paoli, F. | - |
dc.date.issued | 2013 | - |
dc.identifier.citation | Paraconsistency: logic and applications, 2013 / Tanaka, K., Berto, F., Mares, E., Paoli, F. (ed./s), Ch.16, pp.309-314 | - |
dc.identifier.isbn | 9789400744370 | - |
dc.identifier.uri | http://hdl.handle.net/2440/88679 | - |
dc.description.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. | - |
dc.description.statementofresponsibility | Chris Mortensen | - |
dc.language.iso | en | - |
dc.publisher | Springer | - |
dc.relation.ispartofseries | Logic, Epistemology, and the Unity of Science; 26 | - |
dc.rights | © Springer Science+Business Media Dordrecht 2013 | - |
dc.title | Arithmetic starred | - |
dc.type | Book chapter | - |
dc.identifier.doi | 10.1007/978-94-007-4438-7_16 | - |
dc.publisher.place | Netherlands | - |
pubs.publication-status | Published | - |
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.