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