Switch to: Citations

Add references

You must login to add references.
  1. Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
    Shehtman and Skvortsov introduced Kripke bundles as semantics of non-classical first-order predicate logics. We show the structural equivalence between Kripke bundles for intermediate predicate lógics and Kripke-type frames for intuitionistic modal propositional logics. This equivalence enables us to develop the semantical study of relations between intermediate predicate logics and intuitionistic modal propositional logics. New examples of modal counterparts of intermediate predicate logics are given.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • An extension of ono's completeness result.Nobu-Yuki Suzuki - 1990 - Mathematical Logic Quarterly 36 (4):365-366.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An extension of ono's completeness result.Nobu-Yuki Suzuki - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):365-366.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Presheaf semantics and independence results for some non-classical first-order logics.Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (2):125-136.
    The logicD-J of the weak exluded middle with constant domains is proved to be incomplete with respect to Kripke semantics, by introducing models in presheaves on an arbitrary category. Additional incompleteness results are obtained for the modal systems with nested domains extendingQ-S4.1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • Sufficient conditions for the undecidability of intuitionistic theories with applications.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (2):375-384.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.
    Direct download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Applications of trees to intermediate logics.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (1):135-138.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Mathematical Intuitionism. Introduction to Proof Theory.A. G. Dragalin & E. Mendelson - 1990 - Journal of Symbolic Logic 55 (3):1308-1309.
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Directed frames.Giovanna Corsi & Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (1):53-67.
    Predicate extensions of the intermediate logic of the weak excluded middle and of the modal logic S4.2 are introduced and investigated. In particular it is shown that some of them are characterized by subclasses of the class of directed frames with either constant or nested domains.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations