Switch to: Citations

Add references

You must login to add references.
  1. Proof theory.K. Schütte - 1977 - New York: Springer Verlag.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Intuitionistic fuzzy logic and intuitionistic fuzzy set theory.Gaisi Takeuti & Satoko Titani - 1984 - Journal of Symbolic Logic 49 (3):851-866.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Globalization of intui tionistic set theory.Gaisi Takeuti & Satoko Titani - 1987 - Annals of Pure and Applied Logic 33 (C):195-211.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Extending gödel's negative interpretation to ZF.William C. Powell - 1975 - Journal of Symbolic Logic 40 (2):221-229.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-6686886f5-ktvwr uwo