Switch to: Citations

Add references

You must login to add references.
  1. An intuitiomstic completeness theorem for intuitionistic predicate logic.Wim Veldman - 1976 - Journal of Symbolic Logic 41 (1):159-166.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Versions.[author unknown] - 1908 - The Classical Review 22 (3):101-101.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Versions.[author unknown] - 1904 - The Classical Review 18 (1):69-70.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Proof and Paradox.Neil Tennant - 1982 - Dialectica 36 (2‐3):265-296.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • The axiomatization problem for fragments.C. Smorynski - 1978 - Annals of Mathematical Logic 14 (2):193.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Skolem and the Skeptic.Paul Benacerraf & Crispin Wright - 1985 - Aristotelian Society Supplementary Volume 59 (1):85-138.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Axiom of Choice and Complementation.Radu Diaconescu - 1975 - Proceedings of the American Mathematical Society 51 (1):176-178.
    It is shown that an intuitionistic model of set theory with the axiom of choice has to be a classical one.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • An Undecidable Arithmetical Statement.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (2):118-119.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Syntactic translations and provably recursive functions.Daniel Leivant - 1985 - Journal of Symbolic Logic 50 (3):682-688.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • (1 other version)On weak completeness of intuitionistic predicate logic.G. Kreisel - 1962 - Journal of Symbolic Logic 27 (2):139-158.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • (1 other version)On Weak Completeness of Intuitionistic Predicate Logic.G. Kreisel - 1969 - Journal of Symbolic Logic 34 (1):119-120.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Skolem and the Skeptic.Paul Benacerraf & Crispin Wright - 1985 - Aristotelian Society Supplementary Volume 59 (1):85-138.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre.Thoralf Skolem - 1955 - In ¸ Iteskolem:Swl. pp. 137--52.
    Download  
     
    Export citation  
     
    Bookmark   64 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-9b866bbb8-9kmcf uwo