Repository | Series | Book | Chapter
Arithmetic starred
pp. 309-314
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.
Publication details
Published in:
Tanaka Koji, et al. (2013) Paraconsistency: logic and applications. Dordrecht, Springer.
Pages: 309-314
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-94-007-4438-7_16
Full citation:
Mortensen Chris (2013) „Arithmetic starred“, In: K. Tanaka, F. Berto, E. D. Mares & F. Paoli (eds.), Paraconsistency, Dordrecht, Springer, 309–314.