No CrossRef data available.
Article contents
ANOTHER ARITHMETIC OF THE EVEN AND THE ODD
Published online by Cambridge University Press: 06 April 2018
Abstract
This article presents an axiom system for an arithmetic of the even and the odd, one that is stronger than those discussed in Pambuccian (2016) and Menn & Pambuccian (2016). It consists of universal sentences in a language extending the usual one with 0, 1, +, ·, <, – with the integer part of the half function $[{ \cdot \over 2}]$, and two unary operation symbols.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2018