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 FieldValueLanguage
dc.contributor.authorMortensen, C.-
dc.contributor.editorTanaka, K.-
dc.contributor.editorBerto, F.-
dc.contributor.editorMares, E.-
dc.contributor.editorPaoli, F.-
dc.date.issued2013-
dc.identifier.citationParaconsistency: logic and applications, 2013 / Tanaka, K., Berto, F., Mares, E., Paoli, F. (ed./s), Ch.16, pp.309-314-
dc.identifier.isbn9789400744370-
dc.identifier.urihttp://hdl.handle.net/2440/88679-
dc.description.abstractThis 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.statementofresponsibilityChris Mortensen-
dc.language.isoen-
dc.publisherSpringer-
dc.relation.ispartofseriesLogic, Epistemology, and the Unity of Science; 26-
dc.rights© Springer Science+Business Media Dordrecht 2013-
dc.titleArithmetic starred-
dc.typeBook chapter-
dc.identifier.doi10.1007/978-94-007-4438-7_16-
dc.publisher.placeNetherlands-
pubs.publication-statusPublished-
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.