Switch to: References

Add citations

You must login to add citations.
  1. Complexity of intuitionistic propositional logic and its fragments.Mikhail Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2):267-292.
    In the paper we consider complexity of intuitionistic propositional logic and its natural fragments such as implicative fragment, finite-variable fragments, and some others. Most facts we mention here are known and obtained by logicians from different countries and in different time since 1920s; we present these results together to see the whole picture.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes.Pierluigi Minari - 1986 - Studia Logica 45 (1):55-68.
    LetSKP be the intermediate prepositional logic obtained by adding toI (intuitionistic p.l.) the axiom schemes:S = (( ) ) (Scott), andKP = ()()() (Kreisel-Putnam). Using Kripke's semantics, we prove:1) SKP has the finite model property; 2) SKP has the disjunction property. In the last section of the paper we give some results about Scott's logic S = I+S.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Intermediate logics with the same disjunctionless fragment as intuitionistic logic.Plerluigi Minari - 1986 - Studia Logica 45 (2):207 - 222.
    Given an intermediate prepositional logic L, denote by L –d its disjuctionless fragment. We introduce an infinite sequence {J n}n1 of propositional formulas, and prove:(1)For any L: L –d =I –d (I=intuitionistic logic) if and only if J n L for every n 1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
    This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate prepositional logics and normal modal logics containing S4.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations