Arithmetic starred

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.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.identifier.citation	Paraconsistency: logic and applications, 2013 / Tanaka, K., Berto, F., Mares, E., Paoli, F. (ed./s), Ch.16, pp.309-314
dc.identifier.doi	10.1007/978-94-007-4438-7_16
dc.identifier.isbn	9789400744370
dc.identifier.orcid	Mortensen, C. [0009-0001-3942-2126]
dc.identifier.uri	http://hdl.handle.net/2440/88679
dc.language.iso	en
dc.publisher	Springer
dc.publisher.place	Netherlands
dc.relation.ispartofseries	Logic, Epistemology, and the Unity of Science; 26
dc.rights	© Springer Science+Business Media Dordrecht 2013
dc.source.uri	http://dx.doi.org/10.1007/978-94-007-4438-7_16
dc.title	Arithmetic starred
dc.type	Book chapter
pubs.publication-status	Published

Collections