A deductive-reductive form of logic: General theory and intuitionistic case
Piotr Łukowski · Logic and Logical Philosophy · 2004
The paper deals with reconstruction of the unique reductive counterpart of the deductive logic. The procedure results in the deductive-reductive form of logic. This extension is illustrated on the base of intuitionistic logics: Heyting’s, Brouwerian and Heyting-Brouwer’s ones.