Łukowski, P. 2004. A deductive-reductive form of logic: General theory and intuitionistic case. Logic and Logical Philosophy. 10, 10 (Jan. 2004), 59–78. DOI:https://doi.org/10.12775/LLP.2002.004.