Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights I.Shin'ichi Yokota - 1989 - Mathematical Logic Quarterly 35 (5):415-421.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II.Shin'ichi Yokota - 1991 - Mathematical Logic Quarterly 37 (2-4):17-26.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   47 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-6f97f49787-df84k uwo