Philosophy

Permanent URI for this community

https://hdl.handle.net/2440/15960

Browse

Browsing Philosophy by Author "Berto, F."

Now showing 1 - 1 of 1
  • No Thumbnail Available
    ItemMetadata only
    Arithmetic starred
    (Springer, 2013) Mortensen, C.; Tanaka, K.; Berto, F.; Mares, E.; Paoli, F.
    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.