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