Return to Article Details A deductive-reductive form of logic: General theory and intuitionistic case Download Download PDF