Please use this identifier to cite or link to this item:
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
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
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.