Switch to: References

Add citations

You must login to add citations.
  1. The arithmetic of the even and the odd.Victor Pambuccian - 2016 - Review of Symbolic Logic 9 (2):359-369.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Another Arithmetic of the Even and the Odd.Celia Schacht - 2018 - Review of Symbolic Logic 11 (3):604-608.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation