Switch to: Citations

Add references

You must login to add references.
  1. Dual counterparts of consequence operations.Ryszard Wójcicki - 1973 - Bulletin of the Section of Logic 2 (1):54-57.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • A deductive-reductive form of logic: General theory and intuitionistic case.Piotr Łukowski - 2002 - Logic and Logical Philosophy 10:59.
    The paper deals with reconstruction of the unique reductivecounterpart of the deductive logic. The procedure results in the deductivereductive form of logic. This extension is illustrated on the base of intuitionistic logics: Heyting’s, Brouwerian and Heyting-Brouwer’s ones.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Abolition of the Fregean Axiom.Roman Suszko - 1975 - Lecture Notes in Mathematics 453:169-239.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • An algebraic and Kripke-style approach to a certain extension of intuitionistic logic.Cecylia Rauszer - 1980 - Warszawa: [available from Ars Polona].
    Download  
     
    Export citation  
     
    Bookmark   32 citations