Switch to: References

Add citations

You must login to add citations.
  1. Arithmetic based on the church numerals in illative combinatory logic.M. W. Bunder - 1988 - Studia Logica 47 (2):129 - 143.
    In the early thirties, Church developed predicate calculus within a system based on lambda calculus. Rosser and Kleene developed Arithmetic within this system, but using a Godelization technique showed the system to be inconsistent.Alternative systems to that of Church have been developed, but so far more complex definitions of the natural numbers have had to be used. The present paper based on a system of illative combinatory logic developed previously by the author, does allow the use of the Church numerals. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic.M. W. Bunder - 1987 - Journal of Symbolic Logic 52 (1):89-110.
    Download  
     
    Export citation  
     
    Bookmark   1 citation