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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
  • Logic of classical refutability and class of extensions of minimal logic.Sergei P. Odintsov - 2001 - Logic and Logical Philosophy 9:91.
  • Representation of j-algebras and Segerberg's logics.S. P. Odintsov - 1999 - Logique Et Analyse 42 (166):81-106.
  • Maximal paraconsistent extension of Johansson logic.S. P. Odintsov - 1998 - Logique Et Analyse 161:162-163.
     
    Export citation  
     
    Bookmark   6 citations