Switch to: References

Add citations

You must login to add citations.
  1. On a relationship between some classes of elimination operators and some classes of families of sets.Grzegorz Bryll & Robert Sochacki - 2000 - Bulletin of the Section of Logic 29 (4):161-170.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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