P. Łukowski, “A deductive-reductive form of logic: General theory and intuitionistic case”, LLP, vol. 10, no. 10, pp. 59–78, Jan. 2004.