Switch to: Citations

Add references

You must login to add references.
  1. Constructing a continuum of predicate extensions of each intermediate propositional logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
    Wajsberg and Jankov provided us with methods of constructing a continuum of logics. However, their methods are not suitable for super-intuitionistic and modal predicate logics. The aim of this paper is to present simple ways of modification of their methods appropriate for such logics. We give some concrete applications as generic examples. Among others, we show that there is a continuum of logics (1) between the intuitionistic predicate logic and the logic of constant domains, (2) between a predicate extension ofS4 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Logic of classical refutability and class of extensions of minimal logic.Sergei P. Odintsov - 2001 - Logic and Logical Philosophy 9:91.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Representation of j-algebras and Segerberg's logics.S. P. Odintsov - 1999 - Logique Et Analyse 42 (166):81-106.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Maximal paraconsistent extension of Johansson logic.S. P. Odintsov - 1998 - Logique Et Analyse 161:162-163.
    Download  
     
    Export citation  
     
    Bookmark   6 citations