Switch to: References

Add citations

You must login to add citations.
  1. The rise and fall of typed sentences.Marcel Crabbé - 2000 - Journal of Symbolic Logic 65 (4):1858-1862.
    We characterize the 3-stratifiable theorems of NF as a 3-stratifiable extension of NF 3 ; and show that NF is equiconsistent with TT plus raising type axioms for sentences asserting the existence of some predicate over an atomic Boolean algebra.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • The rise and fall of typed sentences.Marcel Crabbé - 2000 - Journal of Symbolic Logic 65 (4):1858-1862.
    We characterize the 3-stratiflable theorems ofNFas a 3-stratifiable extension ofNF3: and show thatNFis equiconsistent withTTplus raising type axioms for sentences asserting the existence of some predicate over an atomic Boolean algebra.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Nfsi is not included in nf3.Marcel Crabbé - 2016 - Journal of Symbolic Logic 81 (3):948-950.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•