Arithmetic starred

Date

2013

Authors

Mortensen, C.

Editors

Tanaka, K.
Berto, F.
Mares, E.
Paoli, F.

Advisors

Journal Title

Journal ISSN

Volume Title

Type:

Book chapter

Citation

Paraconsistency: logic and applications, 2013 / Tanaka, K., Berto, F., Mares, E., Paoli, F. (ed./s), Ch.16, pp.309-314

Statement of Responsibility

Chris Mortensen

Conference Name

DOI

10.1007/978-94-007-4438-7_16

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.

School/Discipline

Dissertation Note

Provenance

Description

Access Status

Rights

© Springer Science+Business Media Dordrecht 2013

License

Grant ID

Published Version

http://dx.doi.org/10.1007/978-94-007-4438-7_16

Call number

Persistent link to this record

http://hdl.handle.net/2440/88679