Switch to: References

Add citations

You must login to add citations.
  1. The Classification of Propositional Calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
    We discuss Smirnovs problem of finding a common background for classifying implicational logics. We formulate and solve the problem of extending, in an appropriate way, an implicational fragment H of the intuitionistic propositional logic to an implicational fragment TV of the classical propositional logic. As a result we obtain logical constructions having the form of Boolean lattices whose elements are implicational logics. In this way, whole classes of new logics can be obtained. We also consider the transition from implicational logics (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   2 citations